Yearly Favorites
601.
602.
AI will make formal verification go mainstream
(martin.kleppmann.com)
603.
Sizing chaos
(pudding.cool)
604.
Spanish legislation as a Git repo
(github.com)
605.
606.
Mistral 3 family of models released
(mistral.ai)
607.
We mourn our craft
(nolanlawson.com)
608.
Ultrasonic Chef's Knife
(seattleultrasonics.com)
609.
Gemma 3 270M: Compact model for hyper-efficient AI
(developers.googleblog.com)
610.
Agent Safehouse – macOS-native sandboxing for local agents
(agent-safehouse.dev)
611.
SpaceX says it has agreement to acquire Cursor for $60B
(twitter.com)
612.
Copilot broke audit logs, but Microsoft won't tell customers
(pistachioapp.com)
613.
Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files
(alexschapiro.com)
614.
Writing toy software is a joy
(blog.jsbarretto.com)
615.
OpenAI declares 'code red' as Google catches up in AI race
(theverge.com)
616.
OpenAI to buy AI startup from Jony Ive
(bloomberg.com)
617.
Google plans to invest up to $40B in Anthropic
(bloomberg.com)
618.
How to Firefox
(kau.sh)
619.
France's homegrown open source online office suite
(github.com)
620.
Zohran Mamdani wins the New York mayoral race
(nbcnews.com)
621.
Mark Zuckerberg freezes AI hiring amid bubble fears
(telegraph.co.uk)
622.
10 Years of Let's Encrypt
(letsencrypt.org)
623.
Claude Skills
(anthropic.com)
624.
How to code Claude Code in 200 lines of code
(mihaileric.com)
625.
The Rapper 50 Cent, Adjusted for Inflation
(50centadjustedforinflation.com)
626.
627.
I fixed Windows native development
(marler8997.github.io)
628.
How many products does Microsoft have named 'Copilot'?
(teybannerman.com)
629.
Let me pay for Firefox
(discourse.mozilla.org)
630.
IPv6 traffic crosses the 50% mark
(google.com)