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?

@jonmsterling @zwarich Wait, no, "HN upvotes" is too generous. There's great stuff on HN sometimes.

Engineered in a lab to be shared on LinkedIn.

@lindsey @jonmsterling Crafted with precision in a state-of-the-art innovation lab, meticulously optimized for maximum resonance across LinkedIn networks.

#StrategicContentCreation #DigitalExcellence #ThoughtLeadership