1
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Leo de Moura on Formal Proofs, AI Agents, and the End of “Trust Me” Code. Subscribe: Apple • Spotify • … More
Ben Lorica
🥇 One of the Top 0.5% most popular podcasts.
- Popular posts
- 1
- Total points
- 219
- HN comments
- 59
- Rank
- #11,831 personal
Visit thedataexchange.media → RSS feedOn Hacker News Oct 2026 – Oct 2026