related "webdev is fun again": claude. https://ma.ttias.be/web-development-is-fun-again/
Also the "Why it matters" in the article. I thought it's a jab at AI-generated articles but it starts too look like the article was AI written as well
[1] https://martin.kleppmann.com/2025/12/08/ai-formal-verificati...
Waiting for the follow-on article “Claude Code reformatted my NAS and I lost my entire media collection.”