Yearly Favorites
8581.
8582.
Three ways formally verified code can go wrong in practice
(buttondown.com)
8584.
Designing a Language (2017)
(cs.lmu.edu)
8585.
Chest Fridge (2009)
(mtbest.net)
8586.
H-1B Exposed: Banking sector visa sponsorship investigation
(h1bexposed.tech)
8587.
Gone (Almost) Phishin'
(ma.tt)
8588.
Text Is King
(experimental-history.com)
8589.
Mapping connections of anti-offshore wind groups and their lawyers
(climatedevlab.brown.edu)
8590.
Did a celebrated researcher obscure a baby's poisoning?
(newyorker.com)
8591.
Structured outputs on the Claude Developer Platform
(claude.com)
8592.
Open source memory layer so any AI agent can do what Claude.ai and ChatGPT do
(alash3al.github.io)
8593.
Moss Survives 9 Months in Space Vacuum
(scienceclock.com)
8594.
Memories of .us
(computer.rip)
8595.
The surprising whimsy of the Time Zone Database
(muddy.jprs.me)
8596.
8597.
The US is now the largest investor in commercial spyware
(arstechnica.com)
8598.
Edge AI for Beginners
(github.com)
8599.
8600.
Isopods of the world
(isopod.site)
8601.
Benchmarking Postgres 17 vs. 18
(planetscale.com)
8602.
Copaganda: How Police and the Media Manipulate Our News
(teenvogue.com)
8603.
YesNotice
(infinitedigits.co)
8604.
Identify a London Underground Line just by listening to it
(tubesoundquiz.com)
8605.
LoRA Without Regret
(thinkingmachines.ai)
8606.
Show HN: Unflip – a puzzle game about XOR patterns of squares
(unflipgame.com)
8607.
The Boring Part of Bell Labs
(elizabethvannostrand.substack.com)
8608.
8609.
Textadept
(orbitalquark.github.io)
8610.