Yearly Favorites
691.
692.
AI will make formal verification go mainstream
(martin.kleppmann.com)
693.
Sizing chaos
(pudding.cool)
694.
Spanish legislation as a Git repo
(github.com)
695.
Mistral 3 family of models released
(mistral.ai)
696.
We mourn our craft
(nolanlawson.com)
697.
698.
Ultrasonic Chef's Knife
(seattleultrasonics.com)
699.
Gemma 3 270M: Compact model for hyper-efficient AI
(developers.googleblog.com)
700.
The bottleneck might be the air in the room
(blog.mikebowler.ca)
701.
StreetComplete: Fixing OpenStreetMap, one tiny quest at a time
(streetcomplete.app)
702.
Agent Safehouse – macOS-native sandboxing for local agents
(agent-safehouse.dev)
703.
SpaceX says it has agreement to acquire Cursor for $60B
(twitter.com)
704.
Last.fm is now independent
(support.last.fm)
706.
Norway imposes near ban on AI in elementary school
(reuters.com)
707.
Copilot broke audit logs, but Microsoft won't tell customers
(pistachioapp.com)
708.
Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files
(alexschapiro.com)
709.
710.
OpenAI declares 'code red' as Google catches up in AI race
(theverge.com)
711.
Google plans to invest up to $40B in Anthropic
(bloomberg.com)
712.
France's homegrown open source online office suite
(github.com)
713.
Dirty Frag: Universal Linux LPE
(openwall.com)
714.
Zohran Mamdani wins the New York mayoral race
(nbcnews.com)
715.
Mark Zuckerberg freezes AI hiring amid bubble fears
(telegraph.co.uk)
716.
10 Years of Let's Encrypt
(letsencrypt.org)
717.
Claude Skills
(anthropic.com)
718.
How to code Claude Code in 200 lines of code
(mihaileric.com)
719.
The Rapper 50 Cent, Adjusted for Inflation
(50centadjustedforinflation.com)
720.