Podcast Index
Explora podcasts por categoría, abre episodios recientes y descarga audio para escucharlo sin conexión.
Boston Computation Club
Max von Hippel
This Sustainable Life
Joshua Spodek: Author, Speaker, Professor
This Week in Space (Video)
TWiT
My Weird Prompts
Daniel Rosehill
The Science Show
ABC Australia
Pillole di Scienza
Massimo Dell'Erba
Fox Weather Update
Fox Weather
San Antonio Weather Daily
Fast Foundations
Houston Weather Daily
Fast Foundations
The Why Files: Operation Podcast
The Why Files
Podcast Fascinación por las plantas
fpplantas
Literary Nomads
Steve Chisnell
CME in Minutes: Education in Oncology & Hematology
Answers in CME
CME in Minutes: Education in Cardiology & Pulmonology
Answers in CME
Decoding the Gurus
Christopher Kavanagh and Matthew Browne
Sadhguru Español
Sadhguru Español
Innovating Cannabis Podcast
The Mary Jane Society
Principio de Incertidumbre
EXPlay
Unexplained Inc.
Phantom Phil
吳老師與Maggie聊天文與生活
Maggie K
Archaeostoryteller, με τον Θόδωρο Παπακώστα
pod.gr
The Littoral Zone
Mari Ana Trench
Retro Radio: Old Time Radio in the Dark
Darren Marlar
Almanacco del giorno
Streammo
TED-Ed
TED-Ed
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
La Mano Peluda
Radio Fórmula
Ciencia
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...
Completa el formulario de abajo. Asegúrate de seleccionar tanto País como Géneros.
Envíanos un mensaje abajo. Te responderemos en un plazo de 24 horas.