> I encourage everyone to RTFA and not just respond to the headline. This is an example of an article which 'buries the lede'†. It should have started with th

> I encourage everyone to RTFA and not just respond to the headline. This is an example of an article which 'buries the lede'†. It should have started with the announcement of the new zlib autoformalization (!) https://leodemoura.github.io/blog/2026/02/28/when-ai-writes-the-worlds-software.html#a-sign-of-things-to-come https://leodemoura.github.io/blog/2026/02/28/when-ai-writes-... to get you excited. Then it should have talked about the rest - instead of starting with rather graceless and ugly LLM-written generic prose about AI topics that to many readers is already tiresomely familiar and doubtless was tldr for even the readers who aren't repelled automatically by that. † or in my terms, fails to 'make you care': https://gwern.net/blog/2026/make-me-care https://gwern.net/blog/2026/make-me-care