Homotopy Type Theory, Narya & the Future of Proof Assistants with Mike Shulman | aboutlogic #19

You've Never Heard of Feral Gas. But You've Used Their Product. | Mike Schulman, Yellow.ai

September 4, 2026

GO GETTE'm

Escape the AI Graveyard: Why Most Bots Fail and How to Build AI That Actually Resolves

FOLLOW THE LEADER

AUTOCROSS