Boston Computation Club

A Mathematics podcast by Max von Hippel

0.0 • 0 ratings

Want connect with Max von Hippel and email directly about potential partnerships?

The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.

Recent Episodes

08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang
Published: August 2, 2025
Listen
07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler
Published: July 25, 2025
Listen
06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos
Published: June 22, 2025
Listen
06/13/25: Gradual Verification with Jenna DiVincenzo
Published: June 14, 2025
Listen
05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman
Published: May 8, 2025
Listen
04/18/25: Descriptive Complexity with Ramit Das
Published: April 19, 2025
Listen
03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker
Published: April 5, 2025
Listen
04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer
Published: April 5, 2025
Listen
03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski
Published: March 8, 2025
Listen
01/10/25: Combining Causal Inference and Knowledge Graphs with Brook Santangelo and John Sterrett
Published: January 10, 2025
Listen

Listen to All Episodes From Boston Computation Club