Post #998432
2026-04-02 17:45 UTC
Can someone please tell Leo that these obviously LLM-generated blog posts are cringe? https://leodemoura.github.io/blog/2026-4-2-why-lean/
Replies (4)
-
@jonmsterling@mathstodon.xyz 2026-04-02 17:50
@zwarich oh my god I thought you were joking
-
@jonmsterling@mathstodon.xyz 2026-04-02 17:54
@zwarich I am dead. 💀
-
@joe@f.duriansoftware.com 2026-04-02 17:54
@zwarich can't see "X is written with X" without thinking about "Claude Code is written with Claude Code" anymore
-
@5ht@mathstodon.xyz 2026-04-30 16:32
@zwarich@hachyderm.io No obscure compiler for a dead language. Soon Lean will be dead langugage as HOL.