Max von Hippel is ... me, the organizer and founder of the Boston Computation Club. Today I hosted an extremely informal event to chat about some of the early experiments in FMxAI I was involved with at Galois, two years ago.
AI Summary coming soon
Sign up to get notified when the full AI-powered summary is ready.
Free forever for up to 3 podcasts. No credit card required.
An Extremely Short Proof of the Hairy Ball Theorem with Peter McGrath
Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli
2/17/26: Approximately Aligned Decoding with Daniel Melcer
VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei
Free AI-powered recaps of Boston Computation Club and your other favorite podcasts, delivered to your inbox.
Free forever for up to 3 podcasts. No credit card required.