Jul 22, 2026 · 28 min · 10 segments
The Harry Potter Approach to Proof Assistants – Lean, Agda & AI Your support helps us keep these conversations going! If you’d like to contribute, you can buy us a coffee here…
Thorsten AltenkirchHostDeniz SarikayaHostI say this is the Harry Potter approach, you know? In the beginning you have to learn the, the basic, uh, magic spells, yeah? Like, uh, Wingardium Leviosa or something.
And the forbidden spells are equivalent to choice, uh, tertium non datur [laughs] and there are three forbidden ones, right? In Harry Potter, I mean, not to tell you here.
The rest of this transcript — segmented and speaker-labeled, so you land on the exact moment something was said
Search every transcript — by keyword, by phrase, or by meaning, across every show Radar indexes
Trends — what is surging across podcasts, measured against its own baseline
Alerts — when a name you follow appears in a newly indexed episode
No account is needed to search Radar.
