Recently updated channels

Pick one to see only that channelBrowse all channels →
Matthew Bermanyesterday +478Theo - t3․ggyesterday +33AI Engineeryesterday +6The Buildersyesterday +1a16zyesterday +2硅谷101yesterday +1SemiAnalysisyesterday +1Chris WilliamsonyesterdayCheeky PintyesterdayInvest Like The Bestyesterday

Results

1 articles
Sort
ChannelZhang Xiaojun PodcastTopicProgramming Languages
4:23:11ZH → English
Zhang Xiaojun Podcast· Apr 20, 2026Podcast · 2 speakersCarina Hong: Teaching AI Mathematics, from Formal Proof to Founding AxiomGuest 洪乐潼 · Host 张小珺The Axiom founder discusses the beauty of mathematics, verifying proofs in Lean, and her path from mathematical research to AI entrepreneurship.AI for scienceAI researchProgramming Languages+2