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
Timeline
Mentions by month · June 2024 — November 2026
central to the episodesubstantial discussioncontext and comparisonbrief mention
202420252026
First
Nov 2026
Peak
Nov 2026 · 1
Months on air
1
Latest
Nov 2026
November 2026
peak month · 1 episode · click a bar for another month
central to the episode 0substantial discussion 0context and comparison 1brief mention 0
#194What Is Going On with AI? The NVIDIA Scandal, OpenAI at $1.25 Trillion and a Market Crashcontext and comparison