Tool mentioned on podcasts
Lean
Mentioned on 5 episodes by 2 guests across our covered podcasts.
SignalCast may earn commission on purchases via these links.
Who mentioned it
- Carina HongRecommended
“Lean as Dual-Purpose Infrastructure: Lean functions simultaneously as a functional programming language and a formal proof checker via the Curry-Howard correspondence, which maps proofs to programs. Developers can write autograd in Lean, verify distributed systems components, or prove mathematical theorems within the same environment.”
Mentioned on: Latent Space “Lean and similar proof assistants have automated deductive verification, but no equivalent formal language exists for mathematical strategy or plausibility assessment.”
Mentioned on: Dwarkesh Podcast