To be a better programmer, write little proofs in your head (the-nerve-blog.ghost.io)
445 points by mprast 3 days ago | 167 comments
181Creating an autonomous system for fun and profit (2017) (blog.thelifeofkenneth.com)
20 points by cristoperb 4 days ago | 1 comment
182Show HN: Beyond Z²+C, Plot Any Fractal (juliascope.com)
99 points by akunzler 3 days ago | 26 comments
183The impact of file position on code review (arxiv.org)
54 points by whatever3 a day ago | 35 comments
184Happy 20th Birthday, Django (djangoproject.com)
574 points by davepeck 5 days ago | 183 comments
185Chain of thought monitorability: A new and fragile opportunity for AI safety (arxiv.org)
130 points by mfiguiere 2 days ago | 61 comments
186People kept working, became healthier while on basic income: report (2020) (cbc.ca)
188 points by jszymborski 17 hours ago | 220 comments
187Where's Firefox going next? (connect.mozilla.org)
323 points by ReadCarlBarks 3 days ago | 533 comments
188Young graduates are facing an employment crisis (wsj.com)
198 points by bdev12345 2 days ago | 365 comments
189Doge Put Free Tax Filing Tool on Chopping Block After One Meeting with Lobbyists (wired.com)
99 points by josefresco a day ago | 43 comments
190Reverse Engineering the Miele Diagnostic Interface (medusalix.github.io)
19 points by Medusalix a day ago | 4 comments
191Tin Can – The landline, reinvented for kids (tincan.kids)
196 points by derwiki 2 days ago | 131 comments
192TSMC aims to make 30% of high-end chips in US with Arizona fab build out (theregister.com)
9 points by rntn 5 hours ago | 0 comments
193Robots in China are riding the subway to make 7-Eleven deliveries (popsci.com)
6 points by bookofjoe 3 hours ago | 0 comments
194A Century of Quantum Mechanics (home.cern)
125 points by bookofjoe 8 days ago | 94 comments
195Hazel: A live functional programming environment with typed holes (github.com)
71 points by azhenley 3 days ago | 16 comments
196I Never Cared Much for Swords. Then I Had to Fight with One (thewalrus.ca)
39 points by pseudolus 3 hours ago | 44 comments
197Apple's MLX adding CUDA support (github.com)
545 points by nsagent 4 days ago | 203 comments
198Show HN: An MCP server that gives LLMs temporal awareness and time calculation (github.com)
90 points by lumbroso 2 days ago | 52 comments
199Mostly dead influential programming languages (2020) (hillelwayne.com)
243 points by azhenley 6 days ago | 161 comments
200Hierarchical Modeling (H-Nets) (cartesia.ai)
90 points by lukebechtel 3 days ago | 20 comments
201Linux Reaches 5% Desktop Market Share in USA (ostechnix.com)
956 points by marcodiego 2 days ago | 597 comments
202Show HN: DataRamen, a Fast SQL Explorer with Automatic Joins and Data Navigation (dataramen.xyz)
46 points by oleksandr_dem 2 days ago | 55 comments
203ChatGPT Is Not AI (newsletter.techworld-with-milan.com)
7 points by taubek 10 hours ago | 0 comments
204Remembrance of Scents Past (newyorker.com)
19 points by prismatic 4 days ago | 1 comment
205Open, free, and ignored: the afterlife of Symbian (theregister.com)
63 points by mdp2021 a day ago | 30 comments
206Nextflow: System for creating scalable, portable, reproducible workflows (github.com)
58 points by saikatsg 2 days ago | 19 comments
207VHS, VCDs, and Laserdiscs in Southeast Asia (rubenerd.com)
92 points by mikece 7 days ago | 59 comments
208Code execution through email: How I used Claude to hack itself (pynt.io)
135 points by nonvibecoding a day ago | 69 comments
209Blender 4.5 LTS (blender.org)
325 points by obdev 3 days ago | 98 comments
210