zwarichCan someone please tell Leo that these obviously LLM-generated blog posts are cringe? https://leodemoura.github.io/blog/2026-4-2-why-lean/
Jon Sterling@zwarich oh my god I thought you were joking
Lindsey Kuper@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?
Henrý Ólson@lindsey @jonmsterling @zwarich the paragraph after "Lean is implemented in Lean" sounds like the beginning of a copypasta 😭
@nemo @lindsey @jonmsterling One decision. Everything else follows from it. My code, blog posts, emails, birthday cards, and tax returns are all slop. There are no band-aids. No glue between thoughts and words. No obscure exertion for a dead medium.