Yearly Favorites
20161.
20162.
20163.
Formally Verifying PBS Kids with Lean4
(shadaj.me)
20164.
Illuminating the processor core with LLVM-mca
(abseil.io)
20166.
The Continual Learning Problem
(jessylin.com)
20168.
Tony Hoare and His Imprint on Computer Science
(cacm.acm.org)
20169.
Pirate Site Blocking Is Legally Impossible in Bulgaria, Supreme Court Ruled
(torrentfreak.com)
20170.
Show HN: Fatal Core Dump – A debugging murder mystery played with GDB
(robopenguins.com)
20171.
The Dilbert Afterlife
(astralcodexten.com)
20172.
Tesla denied having fatal crash data until a hacker found it
(arstechnica.com)
20174.
20176.
It's the Housing, Stupid
(ofdollarsanddata.com)
20177.
Cannabis usage in older adults linked to larger brain, better cognitive function
(medicalxpress.com)
20178.
We keep reinventing CSS, but styling was never the problem
(denodell.com)
20179.
Deepfakes Tore a High School Apart
(404media.co)
20181.
Ruby Central Is Not Behaving in Good Faith, and I've Got Receipts
(jaredwhite.com)
20182.
Microsoft Introduces 'Copilot Mode' in Edge
(blogs.windows.com)
20183.
Challenging the Narrative of European Decline
(paulkrugman.substack.com)
20184.
AI doesn't replace white collar work
(marble.onl)
20185.
Y'all are over-complicating these AI-risk arguments
(dynomight.net)
20186.
The Rust Foundation Maintainers Fund
(rustfoundation.org)
20187.
iPhone 16 Best-Selling Smartphone in 2025; Apple Takes 7 Spots in Top Models
(counterpointresearch.com)
20188.
Gnome dev gives fans of Linux's middle-click paste the middle finger
(theregister.com)
20189.
20190.
GM just laid off IT workers to hire those with stronger AI skills
(techcrunch.com)