Technology
Lean
A functional programming language and interactive theorem prover in which the computer checks every logical step.
1
mention in the archive
0
central to an episode
1
episode with a mention
1
fragment with a timecode
Nov 2026
first mention
Nov 2026
peak · 1 in a month
67
links to other entries
Author's trends
In the episodes of the author's 20 thoughts, Lean is never central or discussed in depth, and the author's quotes don't mention the name.#194·11 Nov 2026context and comparison✓ article
What Is Going On with AI? The NVIDIA Scandal, OpenAI at $1.25 Trillion and a Market CrashMentions over time
202420252026