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세 이상만 이용할 수 있습니다.
