Podcast Index
Browse podcasts by category, open recent episodes, and download audio to listen offline.
Boston Computation Club
Max von Hippel
Almanacco del giorno
Streammo
Investigate Earth Conspiracy Podcast
Do Without Fear Media
Boring History for Sleep
Velvet
Breeders Syndicate 3.0
Matthew Riot
PBS Space Time
PBS
ReddX Reddit Reads
ReddX
The Grave Talks | Haunted, Paranormal & Supernatural
Ghost Stores, Haunted, Paranormal & Supernatural Stories
Real Ghost Stories Online
Real Ghost Stories Online | Paranormal, Supernatural & Horror Radio
Logically Answered
Logically Answered
Vedanta Cast
Jonas Masetti
London Weather Daily
Fast Foundations
Beyond the Void: Philosophy & Psychology for the Modern Mind
btv
Authentic Biochemistry
Dr Daniel J. Guerra
La Mano Peluda
Radio Fórmula
Daily Paper Cast
Jingwen Liang, Gengyu Wang
Daily Astrocat: Your Playful and Profound Daily Astrology Podcast!
Shane Jinson, Original backing tracks by Cabbitha.
Darkwoodsparanormal
Darkwoods Paranormal
JP Lovecraft's Creepy Podcast
JP Lovecraft
IQ - Wissenschaft und Forschung
Bayerischer Rundfunk
c’t uplink - der IT-Podcast aus Nerdistan
c’t Magazin
More or Less
BBC Radio 4
Movers and Shakers: a podcast about life with Parkinson's
Podot
Micro Terrors: Scary Stories for Kids
Scott Donnelly
Engines of Our Ingenuity
Houston Public Media
On This Day in Working Class History
Working Class History
Environment Daily
Ground Report
Artificial Intelligence Masterclass
AI Masterclass
After Skool
After Skool
Quazi Johir
Quazi Johir
Merschman Seeds Cup of Joe
Merschman Seeds
The Incubator
Ben Courchia & Daphna Yasova Barbeau
Training Science Podcast
Paul Laursen & Martin Buchheit
The Dr. Sky Experience
77 WABC
BirdNote Daily
BirdNote
AWONDERJUNKIE
Ryan Anderson
Space News and Weather Today – Auroras, Rocket Launches & Night Sky Viewing
Caloroga Labs Space News and Weather
Science
Max von Hippel
Zach Maas is an independent AI safety & mechanistic interpretability researcher in Boulder, Colorado, funded by Coefficient Giving. Today Zach joined us to talk about some of his recent work tracing introspection across ...
Today Peter McGrathAn Extremely Short Proof of the Hairy Ball Theorem. Peter is a professor of mathematics at NC State, where he researches geometric analysis, minimal surfaces, PDEs. Today's talk was an elegant presenta...
Pascal Kesseli is a software engineer and technical lead at Microsoft AI, with a PhD in Computer Science from Oxford (or a DPhil? Or whatever they call PhDs on that side of the pond). Today Pascal joined us to discuss wo...
Daniel Melcer is a PhD student at Northeastern University, where he researches formal methods, reinforcement learning, and large language models, among other things. Daniel also has the most colorful hair in the business...
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...
Chenfeng Wei is a PhD student at the University of Manchester, where he researches formal guarantees for large language models. Today he joined us to talk about his latest work exploring bugs in smart-contracts. This is ...
Today Xiao Mao joined us to discuss his groundbreaking work, Breaking the Sorting Barrier for Directed Single-Source Shortest Paths. It's not every day you beat Djikstra at something. This was a good one. Thank you for ...
David A. Noever and Forrest McKee are researchers at PeopleTec, where they work on problems at the intersection of security, defense, and AI/ML. Today David joined us to present their joint work Infecting Generative AI ...
Mingwei Zhenga Ph.D. candidate in the Department of Computer Science at Purdue University, advised by Prof. Xiangyu Zhang since 2021. Before that, she received her Bachelor’s degree in Computer Science and Technology fro...
Today Kaiyu Yang from Meta joined us to discuss formal reasoning using LLMs, particularly in the context of interactive theorem provers. This is a really fast-moving and exciting field in which reinforcement learning an...
Michael Sammlern assistant professor leading the Programming Languages and Verification Group at the Institute of Science and Technology Austria (ISTA). Today he joined us to talk about his three primary projects: Refine...
Dimitri Mitropoulos is a Michigan-based typescript dev, linguist, and classicist who joined us to talk about his completely unhinged, odyssean, and frankly just unwise project to get DOOM running completely within Typesc...
Jenna DiVincenzo is an Assistant Professor in the Elmore Family School of Electrical and Computer Engineering @ Purdue University. She is broadly interested in research spanning software verification, programming languag...
Prashant Anantharaman is a long-time BCC group member and has presented as both a solo researcher and a panelist to prior events. Today he joined us to present some of his work with NARF, to appear at IEEE S&P, on genera...
Ramit Das is a formal verification engineer at Intel and an avid Boston Computation Club group member. Ramit and I have been speaking for ages about formal methods, exchanging papers, etc. and today he finally agreed to ...
Today Marc Denecker joined us to present How and Why to extend First Order Logic for Knowledge-Based Systems. This presentation provided the setup for a follow-on that Marc's student Simon Vandevelde is set to give on ID...
Today Daniel Melcer joined us to present Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars (https://arxiv.org/pdf/2402.17988). This is work he completed ...
Michael H. Borkowski is an Assistant Professor of Practice in the Department of Computer Science at Purdue University. Before joining Purdue, he earned his Ph.D. from the Department of Computer Science and Engineering at...
Today Brook Santangelo and John Sterrett
Gaspard Baye is a Cyber AI Ph.D. Candidate at the University of Massachusetts Dartmouth, where he researches AI-driven offensive and defensive security applications. Today Gaspard joined us to present "Hacking GenAI with...
Fill in the form below. Make sure to select both Country and Genres.
Send us a message below. We will get back to you within 24 hours.