Podcast Index
Parcourez les podcasts par catégorie, ouvrez les épisodes récents et téléchargez l’audio pour l’écouter hors ligne.
Boston Computation Club
Max von Hippel
Up North Report
KAXE / KBXE News
Chicago Weather Daily
Fast Foundations
Clima Diario Ciudad de México
Fast Foundations
Daily Short Stories - Ghost and Horror Stories
Sol Good Network
Neville Goddard Daily
Neville Goddard
Science Fiction - Daily Short Stories
Sol Good Network
Stories - Science Fiction
Sol Good Network
Daily Science Fiction Stories
solgoodmedia.com
Daily Ghost and Horror Stories
solgoodmedia.com
SciFi Cast
solgoodmedia.com
Mind Webs Radio
solgoodmedia.com
Mind Webs
solgoodmedia.com
Quiet Please
Wyllis Cooper
The Adventures of Superman
Dashiell Hammett
Old Time Science Fiction
solgoodmedia.com
Vintage Sci-Fi Radio
solgoodmedia.com
Classic Radio Science Fiction
solgoodmedia.com
Interstellar Sci-Fi Tunes
solgoodmedia.com
Time Traveler's Radio
solgoodmedia.com
Science Fiction Radio
solgoodmedia.com
Classic Radio Science Fiction
solgoodmedia.com
Science Fiction Radio Hour
solgoodmedia.com
Pioneer Sci-Fi Radio
solgoodmedia.com
Timeless Sci-Fi Radio
solgoodmedia.com
Galactic Sci-Fi Broadcasts
solgoodmedia.com
Future Worlds Radio
solgoodmedia.com
Daily Short Stories - Science Fiction
Public Domain Books
Relativity: The Special & General Theory
Albert Einstein
Mind Webs - Old Time Audio
Michael Hanson
Thunderstorm Ambience
Sol Good Media
Bedtime Astronomy
Synthetic Universe
50 Shades of Planning
Samuel Stafford
New York City Weather Today - forecast for NYC
Caloroga Labs New York City
The Best of Coast to Coast AM
iHeartPodcasts and Coast to Coast AM
TED-Ed
TED-Ed
Stuff To Blow Your Mind
iHeartPodcasts
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...
Remplissez le formulaire ci-dessous. Veillez à sélectionner à la fois Pays et Genres.
Envoyez-nous un message ci-dessous. Nous vous répondrons dans les 24 heures.