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.
显示更多
本站可能包含成人向内容，仅向年满 18 周岁的用户开放。请确认您已成年后继续浏览。
