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歳以上の方のみご利用いただけます。
