Three ways formally verified code can go wrong in practice (buttondown.com)
178 points by todsacerdoti 2 days ago | 111 comments
121Litex: The First Formal Language Learnable in 2 Hours (litexlang.com)
7 points by todsacerdoti 15 hours ago | 0 comments
122Bird photographer of the year gives a lesson in planning and patience (thisiscolossal.com)
182 points by surprisetalk 8 days ago | 40 comments
123Pipelining in psql (PostgreSQL 18) (postgresql.verite.pro)
161 points by tanelpoder 2 days ago | 38 comments
124Schleswig-Holstein completes migration to open source email (news.itsfoss.com)
381 points by sebastian_z 2 days ago | 143 comments
125Emacs agent-shell (powered by ACP) (xenodium.com)
229 points by Karrot_Kream 2 days ago | 43 comments
126Constraint satisfaction to optimize item selection for bundles in Minecraft (robw.fyi)
40 points by someguy101010 2 days ago | 11 comments
127C++ Reflection and Qt MOC (wiki.qt.io)
91 points by coffeeaddict1 5 days ago | 45 comments
128Satellites Are Leaking the Secrets (wired.com)
20 points by madars 7 hours ago | 1 comment
129A better SQL validator and comparison with existing SQL validators (app.sqlai.ai)
22 points by l5870uoo9y 6 days ago | 3 comments
130Tests Don't Prove Code Is Correct They Just Agree with It (medium.com)
17 points by birdculture 13 hours ago | 16 comments
131Why Signal's post-quantum makeover is an engineering achievement (arstechnica.com)
21 points by dangle1 14 hours ago | 3 comments
132Show HN: FFTN, faster than FFTW in 700 lines of C (gitlab.sac-home.org)
5 points by thomaskoopman 16 hours ago | 0 comments
133Nobel Prize in Economic Sciences 2025 (nobelprize.org)
25 points by pykello a day ago | 2 comments
134Vodafone admits 'major outage' as more than 130,000 report problems (bbc.co.uk)
65 points by rstreefland 18 hours ago | 18 comments
135Addictive-like behavioural traits in pet dogs with extreme motivation for toys (nature.com)
168 points by wallflower 2 days ago | 136 comments
136Oavif: Faster target quality image compression (giannirosato.com)
42 points by computerbuster 2 days ago | 20 comments
137Edge AI for Beginners (github.com)
179 points by bakigul 2 days ago | 63 comments
138The World's 2.75B Buildings (tech.marksblogg.com)
148 points by marklit 7 days ago | 66 comments
139KDE Connect: Enabling communication between all your devices (community.kde.org)
58 points by snthd 2 days ago | 18 comments
140Despite what's happening in the USA, renewables are winning globally (thebulletin.org)
162 points by pseudolus a day ago | 182 comments
141How I'm using Helix editor (rushter.com)
216 points by f311a 2 days ago | 89 comments
142How Apple designs a virtual knob (2012) (jherrm.github.io)
180 points by gregsadetsky 7 days ago | 109 comments
143AdapTive-LeArning Speculator System (ATLAS): Faster LLM inference (together.ai)
198 points by alecco 2 days ago | 47 comments
144Gavin Newsom signs age verification law (politico.com)
14 points by dabockster 11 hours ago | 7 comments
145US Junk Bonds Post Worst Losses in Six Months, Spreads Widen (bloomberg.com)
66 points by zerosizedweasle 21 hours ago | 91 comments
146Show HN: A Digital Twin of my coffee roaster that runs in the browser (autoroaster.com)
153 points by jvkoch 8 days ago | 37 comments
147Konrad Zuse's Helix Tower [pdf] (iaarc.org)
88 points by xg15 7 days ago | 6 comments
148John Searle has died (nytimes.com)
144 points by sgustard a day ago | 178 comments
149The neurons that let us see what isn't there (arstechnica.com)
49 points by rbanffy 7 days ago | 3 comments
150