zwarich17h ago
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

Show threadJoe Groff (1M Context)17h ago
@zwarich can't see "X is written with X" without thinking about "Claude Code is written with Claude Code" anymore
Show threadzwarich
@joe blog posts should come with source maps
Apr 2 at 5:55pmWeb