All Episodes

Sum-check protocol: categorical view, Alex Sorokin

P-stability for 3-uniform Hypergraphs, Daniel Yu

Understanding patterns of adoption and adaptation of open models on local systems, Woohyeuk (Kevin) Lee

Cellular automata and artificial life in the deep learning era, Casey Martin

06/26/26: Tracing Introspection Across Model Depth, Zach Maas

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