Data-hungry browsers: the choice of 90% of users worldwide? (surfshark.com)

1 points by XzetaU8 51s ago 0 comments

Floating kelp forests have limited protection despite intensifying heat threats (nature.com)

1 points by PaulHoule 3m ago 0 comments

Mill as a Direct Style Build Tool (mill-build.org)

1 points by lihaoyi 5m ago 0 comments

Frink data file for non-changing units (frinklang.org)

1 points by Bluestein 9m ago 0 comments

Airlines Are Collecting Your Data and Selling It to ICE (levernews.com)

2 points by mdhb 10m ago 0 comments

Warning signs hinted at Spain's unprecedented power outage (reuters.com)

2 points by mpweiher 17m ago 0 comments

NOT a 3 year old chimney sweep (2022) (fakehistoryhunter.net)

6 points by nixass 18m ago 0 comments

Apple Turnover (hypercritical.co)

4 points by camedee 19m ago 0 comments

Germania: The Origins and Migrations of the Germanic Peoples (nemets.substack.com)

3 points by alserio 27m ago 0 comments

Taking Control of Image Processing (glass.photo)

1 points by walterbell 30m ago 0 comments

Uncle Bob Martin Morning Bathrobe Rant: Types (twitter.com)

2 points by ksec 30m ago 1 comments

Continuous glucose monitors reveal variable glucose responses to the same meals (examine.com)

3 points by Matrixik 32m ago 0 comments

High-income groups disproportionately contribute to climate extremes worldwide (nature.com)

5 points by slow_typist 32m ago 0 comments

The Elite Microsoft Unit Constantly Working to Thwart Hackers (bloomberg.com)

3 points by svmt 33m ago 1 comments

Slow Software for a Burning World (bonfirenetworks.org)

3 points by todsacerdoti 37m ago 0 comments

"input interaction" markup languages are required in AI chatting

1 points by zhangruize 37m ago 0 comments

How to Spread Panic in Slack (miserablyemployed.com)

4 points by derpasaur 37m ago 2 comments

AI Pocket References: Pilot release of <7min AI concept guides (vectorinstitute.github.io)

1 points by nerdai 44m ago 1 comments

iOS 19 More Like macOS? (mjtsai.com)

2 points by mpweiher 45m ago 0 comments

In praise of grobi for auto-configuring X11 monitors (michael.stapelberg.ch)

1 points by secure 47m ago 0 comments

Trustpilot just tried to extort us (twitter.com)

3 points by tosh 55m ago 0 comments

Ask HN: Escaping a Low-Paying Nepali IT Job and Ineffective Learning Cycle

2 points by shivajikobardan 55m ago 1 comments

Tuscolo Static Certificate Transparency Log (bsky.app)

2 points by cpach 55m ago 0 comments

Europe launches program to lure scientists away from the US (es.wired.com)

6 points by mpweiher 55m ago 3 comments

Extraterrestrial Tongues (aeon.co)

3 points by rifish 57m ago 0 comments

An Epistemological Nightmare (mit.edu)

1 points by ChadNauseam 1h ago 1 comments

Show HN: I'm selling Shotcut.in – a link shortener with 400k+ clicks, and more

1 points by Tanishmittal 1h ago 0 comments

Arm's Bifrost Architecture and the Mali-G52 (chipsandcheese.com)

2 points by klelatti 1h ago 0 comments

Show HN: Replace your chatbots with voice agents that understand (calldock.co)

1 points by itsmepeter 1h ago 0 comments

The NSF Is Being Dismantled (forbes.com)

6 points by Matumio 1h ago 1 comments

IRS hopes to replace fired enforcement workers with AI (theregister.com)

3 points by 01-_- 1h ago 0 comments

Google Messages is starting to roll out 'Delete for everyone' (9to5google.com)

3 points by 01-_- 1h ago 1 comments

Hoofprint Biome boosts cow nutrition while slashing methane burps (techcrunch.com)

2 points by PaulHoule 1h ago 0 comments

Show HN: I Built a Simple App to Land You a Job Fast (apply4me.io)

1 points by jorgelameira 1h ago 0 comments

Show HN: Lyra – A Smart Shopping Assistant (getlyra.ai)

1 points by rudrapratap42 1h ago 0 comments

The and Surprising History of the Once-Rejected Zero (scientificamerican.com)

2 points by beardyw 1h ago 1 comments

Show HN: Export Google Maps Saved Places to CSV/GeoJSON (Local-Only App) (takeout-tools.com)

2 points by Rurouni-dev-11 1h ago 0 comments

The Myst Graph, 3: Creating the Graph Using DeMystify (glthr.com)

1 points by tobr 1h ago 0 comments

Linguists Find Proof of Sweeping Language Pattern Once Deemed a 'Hoax' (scientificamerican.com)

3 points by beardyw 1h ago 2 comments

Internet Artifacts (2023) (neal.fun)

1 points by helloplanets 1h ago 1 comments

Klarna flips from AI to hiring people, survey reveals most AI fail to deliver (fortune.com)

9 points by riffraff 2h ago 1 comments

What Works (and Doesn't) Selling Formal Methods (galois.com)

2 points by matt_d 2h ago 0 comments

Show HN: ThatOneTimer, a science backed study timer (that-one-timer.vercel.app)

2 points by ifthisdontwork 2h ago 1 comments

Grafana Beyla donated to OpenTelemetry project (grafana.com)

1 points by shscs911 2h ago 0 comments

Radio City (thesephist.com)

2 points by feross 2h ago 0 comments

JavaScript Closures and Scope (vaibhavacharya.github.io)

1 points by vaibhavacharya_ 2h ago 0 comments

Breaking the Sound Barrier Part I: Fuzzing CoreAudio with Mach Messages (googleprojectzero.blogspot.com)

1 points by todsacerdoti 2h ago 0 comments

Show HN: NR34P3R – Fast Open Port Scanner with Short Service Descriptions (github.com)

1 points by m-o-z-z-i-x 2h ago 0 comments

Corbent: Next‑Generation Direct Air Capture (lesswrong.com)

1 points by dannyobrien 2h ago 0 comments

Gmail to SQLite (github.com)

38 points by tehlike 2h ago 6 comments

What Works (and Doesn't) Selling Formal Methods

2 matt_d 0 5/10/2025, 5:07:13 AM galois.com ↗

Comments (0)

No comments yet