Was a pretty fun podcast where I got to nerd out with @mattmcilwain about math a bit! We also covered the history of ATP, ITP, and how they converge with modern AI.
Thanks to friendos at Madrona for supporting Axiom since day 1.
Show more
