To be a better programmer, write little proofs in your head (the-nerve-blog.ghost.io)
443 points by mprast 2 days ago | 165 comments
151Where's Firefox going next? (connect.mozilla.org)
321 points by ReadCarlBarks 2 days ago | 531 comments
152China hosts first autonomous AI robot football match (theguardian.com)
3 points by PaulHoule an hour ago | 1 comment
153Show HN: Beyond Z²+C, Plot Any Fractal (juliascope.com)
99 points by akunzler 2 days ago | 26 comments
154Mill: A better build tool for Java, Scala, and Kotlin (mill-build.org)
81 points by lihaoyi a day ago | 87 comments
155Nextflow: System for creating scalable, portable, reproducible workflows (github.com)
58 points by saikatsg 2 days ago | 19 comments
156Hazel: A live functional programming environment with typed holes (github.com)
71 points by azhenley 2 days ago | 16 comments
157OpenAI Places Second Behind Human Coder at AtCoder Progmming Event (officechai.com)
6 points by stared 5 hours ago | 1 comment
158Alt text is required for figures in all articles published in ESA journals (ecoevo.social)
8 points by sohkamyung 21 hours ago | 0 comments
159Kiro: A new agentic IDE (kiro.dev)
1036 points by QuinnyPig 3 days ago | 449 comments
160Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code (github.com)
23 points by jkool702 3 days ago | 1 comment
161Hierarchical Modeling (H-Nets) (cartesia.ai)
90 points by lukebechtel 2 days ago | 20 comments
162TikTok, AliExpress and WeChat ignore your GDPR rights (noyb.eu)
38 points by robin_reala 13 hours ago | 23 comments
163The battle for Britain’s first book of the month club (historytoday.com)
9 points by samclemens 3 days ago | 2 comments
164Mostly dead influential programming languages (2020) (hillelwayne.com)
242 points by azhenley 5 days ago | 161 comments
165Kimi K2 is a state-of-the-art mixture-of-experts (MoE) language model (twitter.com)
344 points by c4pt0r 6 days ago | 177 comments
166My Family and the Flood (texasmonthly.com)
273 points by herbertl 2 days ago | 109 comments
167cppyy: Automatic Python-C++ Bindings (cppyy.readthedocs.io)
76 points by gjvc a day ago | 17 comments
168The FIPS 140-3 Go Cryptographic Module (go.dev)
193 points by FiloSottile 2 days ago | 69 comments
169Upcoming deprecation of GitHub Command Palette feature preview (github.blog)
6 points by luddeman 6 hours ago | 1 comment
170Happy 20th Birthday, Django (djangoproject.com)
572 points by davepeck 4 days ago | 181 comments
171Apple's MLX adding CUDA support (github.com)
545 points by nsagent 3 days ago | 202 comments
172Open-Meteo: Free Weather Forecast API for Non-Commercial Use (github.com)
4 points by saikatsg 15 hours ago | 0 comments
173Blender 4.5 LTS (blender.org)
324 points by obdev 2 days ago | 97 comments
174Gaslight-driven development (tonsky.me)
134 points by theodorejb 20 hours ago | 105 comments
175A Century of Quantum Mechanics (home.cern)
125 points by bookofjoe 7 days ago | 93 comments
176Trump's war against NPR and PBS notches win as Senate votes to kill funding (arstechnica.com)
8 points by duxup 3 hours ago | 4 comments
177VHS, VCDs, and Laserdiscs in Southeast Asia (rubenerd.com)
92 points by mikece 6 days ago | 59 comments
178The reality of firearm suppressors vs. Hollywood (militaryrealism.blog)
38 points by bookofjoe 2 days ago | 10 comments
179Pixel Piranhas (rybakov.com)
38 points by spython 4 days ago | 13 comments
180