Post #1490208
2026-04-02 18:03 UTC
@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?
Replies (3)
-
@mevenlennonbertrand@lipn.info 2026-04-02 18:05
@lindsey @jonmsterling @zwarich Isabelle and its SML implementation?
-
@nemo@camp.crates.im 2026-04-02 18:47
@lindsey @jonmsterling @zwarich the paragraph after "Lean is implemented in Lean" sounds like the beginning of a copypasta 😭
-
@lindsey@recurse.social 2026-04-02 19:35
@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.