zwarichApr 2
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)Apr 2
@zwarich can't see "X is written with X" without thinking about "Claude Code is written with Claude Code" anymore
Show threaddataramaApr 3

@joe @zwarich once upon a time, this was a cool threshold for programming language implementations to clear.

Now... -sigh-

Show threadzarelApr 3
@datarama @joe @zwarich it still is! IDGAF about the LLM self referentiality. Aside from that, it's the usual PR stunt since Amodei is *always* talking about the exponential increase of velocity due to LLM building itself, ignoring the basic fact that one bit of information expressed in two bits it's still one bit of information
Show threaddatarama

@zarel @joe @zwarich I suppose I can express my feelings somewhat like this:

Lisp is implemented in Lisp: Neat!
Claude Code is written by Claude Code: -groan-

Apr 3 at 1:30pmWeb