Podcast Index
Browse podcasts by category, open recent episodes, and download audio to listen offline.
Cuentos y Leyendas de Honduras
Cuentos y Leyendas de Honduras
The Uncertainty Podcast
Miles K. Donahue
Ghost Town: Strange History, True Crime, & the Paranormal
Ghost Town
Elektryfikacja - podcast Jakuba Wiecha
Jakub Wiech
A Reading Life, A Writing Life, with Sally Bayley
Sally Bayley, Andrew Smith
Alpha Male Podcast - Christian Strength & Masculinity
Michael Milito
Game-Changing History
Francis Lundh
Curiosity Theory
Dr. Dakotah Tyler & Justin Shaifer
Fantasy for the Ages
Jim Scriven
Universe Today Podcast
Fraser Cain
Theory Underground
theory underground
Many Minds
Kensy Cooperrider – Diverse Intelligences Summer Institute
Science From the Fringe
Science From the Fringe
Mundo Insólito Radio
Mundo Insólito Radio
ReGenAg Chat
Liz Genever and Nic Renison
Bright Side
TheSoul Publishing
Galactic Horrors
Galactic Horrors
Bright Side Universe
TheSoul Publishing
What it Means To Be Human
Dan Zetterstrom / Double Barrel
Science News Daily
brief.news
Boston Computation Club
Max von Hippel
e-girl hyperborea
the master
Artificial Intelligence Masterclass
AI Masterclass
After Skool
After Skool
Quazi Johir
Quazi Johir
Mises Media
Mises Institute
Blue Ridge Birds and Nature at Hilton Pond North
Hilton Pond North Podcasts
WeedSmart Podcast
WeedSmart
The Real Truth About Health Free 17 Day Live Online Conference Podcast
Lloyd Burrell, Keith Block M.D., Jeffrey Smith, Michael Klaper M.D., Ralph Moss, Brenda Davis R.D., Mark Sloan, Gerald Posner, Ian Harris M.D., Neil Barnard M.D., Will Tuttle Ph.D., John McDougall M.D., Pam Popper Ph.D., Gabriel Cousens M.D., Brian Clement Ph.D., Anna Maria Clement Ph.D., Marianne Williamson, Vandana Shiva Ph.D., Aly Cohen M.D., Milton Mills M.D., Theodora Scarato, William Li M.D., David Katz M.D., Stephanie Seneff Ph.D., Julieanna Hever M.S., Dale Bredesen M.D., Hope Bohanec, Kim Williams M.D., Joel Kahn M.D., Michelle Perro M.D., David Wolfe, Melanie Joy Ph.D., Sunil Pai M.D., Baxter Montgomery M.D., Michael Greger M.D., Caldwell Esselstyn M.D., Joel Fuhrman M.D., Colin Campbell Ph.D.
The HumanWare Project
Méline Liu
Thrilling Threads - Conspiracy Theories, Strange Phenomena, True Crime, Unsolved Mysteries, etc!
Byte & Pieces
SCP: Find Us Alive
Hodgepodge Audio
Living on Earth
World Media Foundation
Psychiatrie Internationale Podcast
Michael Sikorav MD
This Sustainable Life
Joshua Spodek: Author, Speaker, Professor
This Week in Space (Video)
TWiT
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.