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 歲的用戶開放。請確認您已成年後繼續瀏覽。
