Can someone please tell Leo that these obviously LLM-generated blog posts are cringe? https://leodemoura.github.io/blog/2026-4-2-why-lean/
Why Lean? — Leonardo de Moura

Leonardo de Moura — Creator of Lean and Z3

@zwarich oh my god I thought you were joking

@jonmsterling @zwarich To me it's cringe, but it isn't that it sounds LLM-generated so much as that it's the kind of machismo writing style that sounds engineered in a lab to get HN upvotes. But maybe that's not all that different.

Who is the "No obscure compiler for a dead language" line supposed to be negging?

@lindsey @jonmsterling @zwarich Isabelle and its SML implementation?
Poly/ML Home Page

@zwarich @mevenlennonbertrand @lindsey @jonmsterling I've been playing with it for the past month or so. It's obviously not "modern" ( no utf8 support, package manager etc) but still pretty nice and def not dead in terms of commit activity.