All Episodes

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

02/06/26: Early experiments in FMxAI at Galois with Max von Hippel

VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths - Xiao Mao

Infecting Generative AI with Viruses - David A. Noever and Forrest McKee

08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng

08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang

07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler

06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos

06/13/25: Gradual Verification with Jenna DiVincenzo

05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman

04/18/25: Descriptive Complexity with Ramit Das

03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker

04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer

03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski

01/10/25: Combining Causal Inference and Knowledge Graphs with Brook Santangelo and John Sterrett

01/04/25: Hacking GenAI with LLM Red Teaming and Beyond with Gaspard Baye

11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi

11/17/24: When Static Analysis Meets Large Language Models with Chengpeng Wang

10/05/24: Abuse-Resistant Location Tracking: Balancing Privacy and Safety in the Offline Finding Ecosystem with Harry Eldridge

09/28/24: Hacking an LLM Using the Z3 Theorem Prover with Ian Bicking

09/07/24: Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets with Dhekra Mahmoud

08/25/24: An Introduction to Lurk with Matej Panciak

08/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf

08/10/24: Radically Better Academic Search With Undermind with Joshua Ramette

07/27/24: Pragmatic Program Synthesis with Evan Pu

07/06/24: The Algebraic Structure of Infinite Craft with Arthur O’Dwyer

06/22/24: npm install everything with Evan Boehs

06/08/24: Compressing a JSON Parser Beyond Comprehension with June Marcuse

04/20/24: Chess-GPT's Internal World Model with Adam Karvonen

04/12/24: DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing with Max Ammann

04/23/24: Pegasus Panel

03/08/24: Bitwuzla with Mathias Preiner

01/13/24: How to Fund your Projects by Remembering One Number with Joe Shiraef

12/15/23: Q&A on Puzzles, with Roger Barkan in conversation with Jacob Denbeaux

11/19/23: Semi Open-Source Robotics with Jan Hennecke

11/04/23: Logic in Color with Christian Williams

10/21/23: How to Write a Coequation, with Todd Schmid

10/07/23: Artificial Intelligence, Openness, and "Existential" Risk: Well Informed Vibes on What is Hype and What is Real, with Avijit Ghosh, David Widder, and Fabio Tollon, moderated by Wei Sun

09/17/23: Open Problems in Probabilistic Programming Semantics with Eli Sennesh

09/09/23: Transferable and Fixable Proofs with Bill Dalessandro

09/01/23: ChipSec with Nathaniel Mitchell and Dan Scott

08/12/23: Packing Chromatic with Bernardo Anibal Subercaseaux Roa

07/15/23: Symmetries, Flat Minima, and the Conserved Quantities of Gradient Flow with Bo Zhao

06/30/23: ChatGPT on your Personal Corpus in Algovera with Richard Blythman

06/23/23: MariusGNN with Roger Waleffe

06/16/23: Infinite Games -- Strategies, Logic, Theory, and Computation, with Joel David Hamkins

05/20/23: A Data-Centric Introduction to Computing, with Shriram Krishnamurthi

04/29/23: Q&A on the Philosophy of Games with Christopher Ba Thi Nguyen, in conversation with Wei Sun

04/21/23: Quantity Calculus in Natural Language Semantics with Elizabeth Coppock

03/17/23: The Process, Challenges, Struggles & Joys of Creating "How to Design Programs" with Matthias Felleisen

03/03/23: Reversing UK Rail Tickets with eta

02/13/23: Web3 is Going Just Great with Molly White

02/03/23: How to Give a Good Mathematical Presentation with Anthony Bonato

01/29/23: Implications of Model-Based Phil/Sci for ML with Mel Andrews

01/06/23: Q&A: AppSec from OWASP to Present with John Viega

12/03/22: Depths of Wikipedia with Annie Rauwerda

11/19/22: Nearly Optimal Property Preserving Hashing with LakYah Tyner

10/14/22: Cryptography with Quantum States with William Kretschmer

06/19/22: Assessing Recycling, Displacement, and Environmental Impacts using an Economics-Informed Material System Model, with John Ryter

05/20/22: Hybrid Systems: Not Just For Cars Anymore! With Kimberly Ayers

05/13/22: The Generalized Star Height Problem with Jean-Eric Pin

05/07/22: Math Café #3: Prep for Dr. Pin's Talk with Max von Hippel

04/15/22: When Memory Guards are Crooked and Become Speculating Snitches with Andrea Mambretti

03/20/22: An Open Conversation on Web3 with the SpiceDAO

03/12/22: Live Coding: Making a Wordle Scraper and Solver with Jacob Denbeaux

03/05/22: Seize the Means of Computation: the Big Tech Disassembly Manual with Cory Doctorow

02/17/22: Quantum Computing in Plato's Cave with Daniel Burgarth

02/06/22: Trojan Source Attacks with Nicholas Boucher

01/08/22: Covert C2 Channels with Kai Bernardini

12/04/21: Feynman Integrals for a Mathematical Audience with Matthew von Hippel

12/03/21: Aesthetic and Organic Complexity with Tyler Hobbs & Bill Cresco, moderated by Anya & Joe

10/24/21: An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM with Larkin Liu & Jun Tao Luo

10/15/21: Mathematical Programming Modulo Strings with Ankit Kumar

10/09/21: Types in PL Research vs Types in Julia with Julia Belyakova

09/12/21: More Category Theory for More Cybernetics with Matteo Capucci

08/28/21: Compilation Techniques for Reconfigurable Analog Devices with Sara Archour

07/30/21: Structural Attacks on Local Routing in Payment Channel Networks with Ben Weintraub

07/24/21: Linear Haskell with Artem Pelenitsyn

07/10/21: The Illogical Nature of Chemical Nomenclature [Biology Café #1]

06/13/21: Modeling Content and Context with Deep Relational Learning with Maria Leonor Pacheco

05/29/21: Homotopy Type Theory 101 with Carlo Angiuli