- Home
- Podcasts
- Arts
- Books
- Fashion & Beauty
- Food
- Performing Arts
- Visual Arts
- Business
- Careers
- Entrepreneurship
- Investing
- Management
- Marketing
- Non-Profit
- Comedy
- Comedy Interviews
- Improve
- Stand-Up
- Education
- Courses
- How To
- Language Learning
- Self-Improvement
- Fiction
- Comedy Fiction
- Drama
- Science Fiction
- Government
- Health & Fitness
- Alternative Health
- Fitness
- Medicine
- Mental Health
- Nutrition
- Sexuality
- History
- Kids & Family
- Education for Kids
- Parenting
- Pets & Animals
- Stories for Kids
- Leisure
- Animation & Manga
- Automotive
- Aviation
- Crafts
- Games
- Hobbies
- Home & Garden
- Video Games
- Music
- Music Commentary
- Music History
- Music Interviews
- News
- Business News
- Daily News
- Entertainment News
- News Commentary
- Politics
- Sports News
- Tech News
- Religion & Spirituality
- Buddhism
- Christianity
- Hinduism
- Islam
- Judaism
- Religion
- Spirituality
- Science
- Astronomy
- Chemistry
- Earth Sciences
- Life Sciences
- Mathematics
- Natural Sciences
- Nature
- Physics
- Social Sciences
- Society & Culture
- Documentary
- Personal Journals
- Philosophy
- Places & Travel
- Relationships
- Sports
- Baseball
- Basketball
- Cricket
- Fantasy Sports
- Football
- Golf
- Hockey
- Rugby
- Running
- Soccer
- Swimming
- Tennis
- Volleyball
- Wilderness
- Wrestling
- TV & Film
- After Shows
- Film History
- Film Interviews
- Film Reviews
- TV Reviews
- Technology
- True Crime
- Music
- Spatial Audio
- George Michael Covered
- Hits
- Charts
- New Music
- Apple Music Radio
- Punjabi
- Apple Music Live: Lil Durk
- Summertime Sounds
- Hip-Hop
- Country
- Feel Good
- Pop
- Latin
- Fitness
- Chill
- Alternative
- Punk
- Dance
- Party
- DJ Mixes
- Essentials
- Electronic
- Kids
- Family
- Up Next
- Christian
- Urbano Latino
- Musica Mexicana
- Decades
- Rock
- Classic Rock
- Hard Rock
- Metal
- Acoustic
- Indie
- Classical
- Jazz
- Romance
- Reggae
- Focus
- Motivation
- Pop Latino
- K-Pop
- C-Pop
- Soul/Funk
- Gospel
- Oldies
- Americana
- Audio Book
- Arts and Entertainment
- Latino
- Biographies and Memoirs
- Business
- Classics
- Comedy
- Drama and Poetry
- Mystery
- History
- Kids and Young Adults
- Languages
- News
- Nonfiction
- Romance
- Religion and Spirituality
- Sci-Fi and Fantasy
- Science
- Self Development
- Speakers and Storytellers
- Sports
- Technology
- Travel and Adventure
- Pages
- Blog
- Own Audio
Find the licence that's right for your business
Listen Show PodCast
An Extremely Short Proof of the Hairy Ball Theorem with Peter McGrath
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Logic.py: Bridging the Gap between LLMs and Constraint Solvers with Pascal Kesseli
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
2/17/26: Approximately Aligned Decoding with Daniel Melcer
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02/06/26: Early experiments in FMxAI at Galois with Max von Hippel
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods, Chenfeng Wei
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Breaking the Sorting Barrier for Directed Single-Source Shortest Paths - Xiao Mao
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
Infecting Generative AI with Viruses - David A. Noever and Forrest McKee
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/13/25: Gradual Verification with Jenna DiVincenzo
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04/18/25: Descriptive Complexity with Ramit Das
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01/10/25: Combining Causal Inference and Knowledge Graphs with Brook Santangelo and John Sterrett
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01/04/25: Hacking GenAI with LLM Red Teaming and Beyond with Gaspard Baye
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
11/17/24: When Static Analysis Meets Large Language Models with Chengpeng Wang
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
10/05/24: Abuse-Resistant Location Tracking: Balancing Privacy and Safety in the Offline Finding Ecosystem with Harry Eldridge
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
09/28/24: Hacking an LLM Using the Z3 Theorem Prover with Ian Bicking
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
09/07/24: Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets with Dhekra Mahmoud
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
08/25/24: An Introduction to Lurk with Matej Panciak
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
08/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
08/10/24: Radically Better Academic Search With Undermind with Joshua Ramette
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
07/27/24: Pragmatic Program Synthesis with Evan Pu
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
07/06/24: The Algebraic Structure of Infinite Craft with Arthur O’Dwyer
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/22/24: npm install everything with Evan Boehs
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/08/24: Compressing a JSON Parser Beyond Comprehension with June Marcuse
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04/20/24: Chess-GPT's Internal World Model with Adam Karvonen
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04/12/24: DY Fuzzing: Formal Dolev-Yao Models Meet Cryptographic Protocol Fuzz Testing with Max Ammann
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04/23/24: Pegasus Panel
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03/08/24: Bitwuzla with Mathias Preiner
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01/13/24: How to Fund your Projects by Remembering One Number with Joe Shiraef
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
12/15/23: Q&A on Puzzles, with Roger Barkan in conversation with Jacob Denbeaux
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
11/19/23: Semi Open-Source Robotics with Jan Hennecke
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
11/04/23: Logic in Color with Christian Williams
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
10/21/23: How to Write a Coequation, with Todd Schmid
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
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
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
09/17/23: Open Problems in Probabilistic Programming Semantics with Eli Sennesh
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
09/09/23: Transferable and Fixable Proofs with Bill Dalessandro
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
09/01/23: ChipSec with Nathaniel Mitchell and Dan Scott
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
08/12/23: Packing Chromatic with Bernardo Anibal Subercaseaux Roa
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
07/15/23: Symmetries, Flat Minima, and the Conserved Quantities of Gradient Flow with Bo Zhao
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/30/23: ChatGPT on your Personal Corpus in Algovera with Richard Blythman
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/23/23: MariusGNN with Roger Waleffe
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/16/23: Infinite Games -- Strategies, Logic, Theory, and Computation, with Joel David Hamkins
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05/20/23: A Data-Centric Introduction to Computing, with Shriram Krishnamurthi
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04/29/23: Q&A on the Philosophy of Games with Christopher Ba Thi Nguyen, in conversation with Wei Sun
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04/21/23: Quantity Calculus in Natural Language Semantics with Elizabeth Coppock
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03/17/23: The Process, Challenges, Struggles & Joys of Creating "How to Design Programs" with Matthias Felleisen
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03/03/23: Reversing UK Rail Tickets with eta
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02/13/23: Web3 is Going Just Great with Molly White
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02/03/23: How to Give a Good Mathematical Presentation with Anthony Bonato
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01/29/23: Implications of Model-Based Phil/Sci for ML with Mel Andrews
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01/06/23: Q&A: AppSec from OWASP to Present with John Viega
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
12/03/22: Depths of Wikipedia with Annie Rauwerda
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
11/19/22: Nearly Optimal Property Preserving Hashing with LakYah Tyner
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
10/14/22: Cryptography with Quantum States with William Kretschmer
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/19/22: Assessing Recycling, Displacement, and Environmental Impacts using an Economics-Informed Material System Model, with John Ryter
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05/20/22: Hybrid Systems: Not Just For Cars Anymore! With Kimberly Ayers
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05/13/22: The Generalized Star Height Problem with Jean-Eric Pin
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05/07/22: Math Café #3: Prep for Dr. Pin's Talk with Max von Hippel
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
04/15/22: When Memory Guards are Crooked and Become Speculating Snitches with Andrea Mambretti
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03/20/22: An Open Conversation on Web3 with the SpiceDAO
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03/12/22: Live Coding: Making a Wordle Scraper and Solver with Jacob Denbeaux
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
03/05/22: Seize the Means of Computation: the Big Tech Disassembly Manual with Cory Doctorow
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02/17/22: Quantum Computing in Plato's Cave with Daniel Burgarth
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
02/06/22: Trojan Source Attacks with Nicholas Boucher
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
01/08/22: Covert C2 Channels with Kai Bernardini
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
12/04/21: Feynman Integrals for a Mathematical Audience with Matthew von Hippel
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
12/03/21: Aesthetic and Organic Complexity with Tyler Hobbs & Bill Cresco, moderated by Anya & Joe
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
10/24/21: An Extensible and Modular Design and Implementation of Monte Carlo Tree Search for the JVM with Larkin Liu & Jun Tao Luo
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
10/15/21: Mathematical Programming Modulo Strings with Ankit Kumar
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
10/09/21: Types in PL Research vs Types in Julia with Julia Belyakova
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
09/12/21: More Category Theory for More Cybernetics with Matteo Capucci
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
08/28/21: Compilation Techniques for Reconfigurable Analog Devices with Sara Archour
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
07/30/21: Structural Attacks on Local Routing in Payment Channel Networks with Ben Weintraub
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
07/24/21: Linear Haskell with Artem Pelenitsyn
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
07/10/21: The Illogical Nature of Chemical Nomenclature [Biology Café #1]
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
06/13/21: Modeling Content and Context with Deep Relational Learning with Maria Leonor Pacheco
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.
05/29/21: Homotopy Type Theory 101 with Carlo Angiuli
Playlist
Update Required
To play the media you will need to either update your browser to a recent version or update your Flash plugin.