Yearly Favorites
32071.
32072.
32073.
Why Lean 4 replaced OCaml as my Primary Language
(kirancodes.me)
32074.
32075.
The Proof Machine (2016)
(incredible.pm)
32076.
Making Referential Stability a Type
(jovidecroock.com)
32077.
The American suburbs are better than you think
(noahpinion.blog)
32078.
Show HN: Web App Uses RTL-SDR to Align HDTV Antenna
(tunerscope.com)
32079.
GLM-5.2 is probably the most powerful text-only open weights LLM
(simonwillison.net)
32080.
Claude Opus 4.8 Max responding to an empty message
(xcancel.com)
32081.
Some Like It Literary
(nytimes.com)
32082.
32083.
Show HN: Ghost Pepper Meet local meeting transcription and diarization
(matthartman.github.io)
32084.
Ukraine Moves to Replace Frontline Soldiers with 25,000 Ground Robots
(united24media.com)
32085.
32087.
The Longing (1999)
(cluetrain.com)
32088.
32089.
AI Safety Farce
(seanpedersen.github.io)
32090.
Life-threatening blueberry recall upgraded to FDA's highest risk level
(dailymail.co.uk)
32091.
32092.
WhatsApp Is Untrustable
(toki.la)
32093.
32094.
32095.
Fabrication Techniques Using Myco-Materials
(encyclopedia.pub)
32096.
32097.
Maximizing Compression of Apple II Hi-Res Images
(deater.net)
32098.
Atlas Obscura founders removed from board
(semafor.com)
32099.
AI rendering of Roman war scenes from Trajan's Column
(trajancolumn.com)
32100.
LLVM Adds Constant-Time Support for Protecting Cryptographic Code
(blog.trailofbits.com)