Post #1362011

[Currently, on Lobsters](https://lobste.rs/s/063ldo/why_lean), folks are grappling with the fact that [Leo de Moura](https://en.wikipedia.org/wiki/Leonardo_de_Moura) got wrecked by chatbots. I decided to read [his slides about Lean in 2026](https://leodemoura.github.io/static/files/LeanTogether2026.pdf) and summarized my findings [on Mastodon](https://defcon.social/@corbin/116352841489954348). It's not just De Moura; I think that the entire Lean project is on shaky foundations and I think that the chatbots are making things worse by repeatedly reassuring the project leaders.