Best Foundations for mathematics Podcasts (2025)

1
How Cloudflare Reinvents Serverless at Global Scale with Josh Howard 52:19

4d ago52:19

52:19

Summary Josh Howard, Senior Engineering Manager at Cloudflare, joins Kostas and Nitay to discuss Cloudflare's innovative serverless platform, Durable Objects, and Workers. Learn how Cloudflare enables developers to build stateful applications with global scale, consistency, and simplicity at the network edge. Chapters 00:00 Introduction and Backgro…

1
#51 s/Coq/Rocq - Nicolas Tabareau 1:42:05

5d ago1:42:05

1:42:05

In this episode we talk with Nicolas Tabareau, the Head of Gallinette, one of the main teams which develop the Rocq theorem Prover at Inria. The original idea of this interview is to talk about the rebranding from Coq into Rocq, which is very exciting to our community. However, Nicolas has such a prolific research career that I couldn’t miss the op…

1
Postcard from Oslo: Masaki Kashiwara and the 2025 Abel Prize 21:54

6d ago21:54

21:54

From sunny parks to banquets in castles – come with us on an exciting adventure in Oslo as we join the celebrations for the 2025 Abel Prize! We meet Masaki Kashiwara, winner of this year's prize, who tells us about the importance of collaborations and creating new things. Ragni Piene, previous chair of the Abel Prize Committee, gives us a look behi…

1
STEM Everyday #296 | Math as Foundation to STEM Jobs | feat. Jeremy Anderson 20:26

13d ago20:26

20:26

At what age should we begin focusing on STEM learning? According to Jeremy Anderson, the data overwhelmingly shows that students are already forming interest and thoughts on STEM careers when they're in elementary school. That makes it vital to look at how we include STEM career introduction at a younger age. In discussions about STEM, math often t…

1
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra 2:06:47

27d ago2:06:47

2:06:47

Wouter Swierstra is a Math Bachelor’s from the University of Utrecht, has done his PhD with Thorsten Altenkirch at the University of Nottingham, did a post-doc at Chalmers, has experience in the industry working on facilitating the design of embedded system using FP and currently is a Professor at the University of Utrecht and co-host of the Haskel…

1
STEM Everyday #295 | SelfCAD Design Software | feat. Kara Houston 16:10

29d ago16:10

16:10

The education software space is filled with plenty of choices for helping kids design and create. That's especially true in the CAD space, as programs like Tinkercad appeal to younger kids and Fusion/AutoCAD/OnShape & more are great for older students. SelfCAD is a new software choice that combines the best of block/shape design from Tinkercad and …

1
Business Physics: How Brand, Pricing, and Product Design Define Success with Erik Swan 1:01:31

1M ago1:01:31

1:01:31

Summary In this episode, Erik reflects on his long and storied tech career—from the days of punch cards to founding multiple startups, including a stint at Splunk. At 61, he offers a unique perspective on how the industry has evolved and shares candid insights into what it takes to build a successful company. He discusses the evolution from buildin…

1
Incremental Materialization: Reinventing Database Views with Gilad Kleinman of Epsio 52:19

2M ago52:19

52:19

Summary In this episode, Gilad Kleinman, co-founder of Epsio, shares his unique journey from PHP development to low-level kernel programming and how that evolution led him to build an innovative incremental views engine. Gilad explains that Epsio tackles a common challenge in databases: making heavy, complex queries faster and more efficient throug…

1
Living proof: A conversation with Sarah Hart 24:39

2M ago24:39

24:39

Sarah Hart is a mathematician who is interested, not just in the maths itself, but also its connections to other areas of culture and art. She's done an amazing number of things throughout her career — from research in pure mathematics and heading up a maths department, to being the first woman Gresham Professor of Geometry and President of the Bri…

1
STEM Everyday #294 | Mentoring | feat. Astronaut Scholarship Foundation 24:19

2M ago24:19

24:19

For more than 40 years, the Astronaut Scholarship Foundation (ASF) has supported the brightest minds in STEM, with its Astronaut Scholars making groundbreaking contributions—from launching payloads into space to pioneering agricultural innovations and advancing congenital heart disease research. The prestigious Astronaut Scholarship is known nation…

1
Rob Eastaway: Shakespeare's mathematical life and times 23:57

2M ago23:57

23:57

One thing we all have in common is that we did maths at school. Those of us from the English speaking world most likely also did Shakespeare at school. Do these two things have anything in common? It turns out that they do! Our friend Rob Eastaway, author and Director of the amazing Maths Inspiration project, has written a book called Much Ado Abou…

1
Living proof: Diving into maths with Emmy Noether 29:02

2M ago29:02

29:02

Every now and again, and more often than you'd think, the work of mathematics overlaps with the world of theatre and film. This happened again recently when the Isaac Newton Institute for Mathematical Sciences (INI) organised a staging of the play Diving into math with Emmy Noether. Noether was a pure mathematician whose results made waves far beyo…

1
STEM Everyday #293 | Codie Blocks | feat. Caroline Rosenbloom 13:56

2M ago13:56

13:56

When so many coding resources are just digital, it's great to see new resources that combine hands-on learning with on-screen coding. Codie Blocks is a learning tool that brings the foundations of coding to children ages 3 to 7. Through a unique storytelling component with hands-on, block-based coding, Codie Blocks makes complex concepts approachab…

1
The Abel Prize 2025 29:47

2M ago29:47

29:47

Last Wednesday, March 26, 2025, this year's Abel Prize was awarded to the Japanese mathematician Masaki Kashiwara. The Abel Prize is one of the most prestigious honours in mathematics. It is awarded every year by the Norwegian Academy of Science and Letters and comes with a prize money of over £550,000. In this episode of Maths on the Move we talk …

1
STEM Everyday #292 | Coding and CS for Every Kid | feat. Allen Tsui 27:37

2M ago27:37

27:37

When can we begin teaching kids about coding and computer science? If you were to walk into Allen Tsui's classrooms, you'd see kids as young as 3 understanding and working with code. How can you start? Allen has some great ideas, and it just takes trying! Allen Tsui is a Subject Specialist in Computing at Willow Brook Primary School Academy in Lond…

1
Evidence week: Shaping the future of AI 24:49

3M ago24:49

24:49

The UK government has recently pledged to put around £14 billion into supporting the development of artificial intelligence over the next few years. But because AI comes with perils as well as promises, careful policy decision are going to be crucial. In order to make such decision in an informed way, politicians need to interact with the mathemati…

1
From Data Mesh to Lake House: Revolutionizing Metadata with Lakekeeper 57:25

3M ago57:25

57:25

Summary In this episode, Viktor Kessler shares his journey and insights from his extensive experience in data management—from building risk management systems and data warehouses to working as a solutions architect at MongoDB and Dremio, and now co-founding a startup. Initially exploring data mesh concepts, Viktor explains how real-world challenges…

1
Living proof: Communicating mathematics with the INI and Hannah Fry 28:40

3M ago28:40

28:40

We kick off our latest series of podcasts with an episode of Living proof, produced jointly with the Isaac Newton Institute for Mathematical Sciences (INI). This episode is all about the communication of mathematics to the wider world, which is becoming ever more recognised as a priority within the maths community. We talk to Sara Khan, Communicati…

1
STEM Everyday #291 | Not Just Technology | feat. Steven Iglesias 22:54

3M ago22:54

22:54

Schools have two choices: innovate or fall behind. Steven Iglesias, the Director of Innovation & Technology, and self proclaimed educational disruptor, has been building a revolutionary STEM and technology program for kids at Doral Academy Preparatory School in Miami, FL. "I never set out to be in education—it happened by accident. I began my caree…

1
#49 Self-Education in PL - Ryan Brewer 2:23:47

3M ago2:23:47

2:23:47

Ryan Brewer is a college dropout who has an incredible blog about PL, Category Theory and Logic. He better define his goal as making Formal Theory more accessible outside the ivory tower of academia, and easier to put into practice where it matters. He has a couple of very interesting main projects, such as the first Cedille 2 Interpreter, Saber VM…

1
STEM Everyday #290 | Cybersecurity Education | feat. Dr Laurie Salvail 21:38

3M ago21:38

21:38

CYBER.ORG is a cybersecurity workforce development organization advancing K-12 cybersecurity education nationwide through no-cost curriculum and teacher professional development resources. Supported by the U.S. Department of Homeland Security’s Cybersecurity and Infrastructure Security Agency through the Cybersecurity Education and Training Assista…

1
Reinventing Stream Processing: From LinkedIn to Responsive with Apurva Mehta 58:13

3M ago58:13

58:13

Summary In this episode, Apurva Mehta, co-founder and CEO of Responsive, recounts his extensive journey in stream processing—from his early work at LinkedIn and Confluent to his current venture at Responsive. He explains how stream processing evolved from simple event ingestion and graph indexing to powering complex, stateful applications such as s…

1
Ep.9 - The Power of Purpose: Transforming Work Culture ft. Ryan Rigterink 25:54

3M ago25:54

25:54

About The Guest: Ryan Rigterink is an experienced leadership consultant, speaker, and author with over 24 years of leadership experience across four industries. He is the founder of Leaders Ops, a consulting company dedicated to helping business leaders create productive workplace cultures that drive growth and retain top talent. In addition, Ryan …

1
Semantic Layers: The Missing Link Between AI and Data with David Jayatillake from Cube 59:03

4M ago59:03

59:03

In this episode, we chat with David Jayatillake, VP of AI at Cube, about semantic layers and their crucial role in making AI work reliably with data. We explore how semantic layers act as a bridge between raw data and business meaning, and why they're more practical than pure knowledge graphs. David shares insights from his experience at Delphi Lab…

1
STEM Everyday #289 | Using STEM Supplies Effectively | feat. Jason McKenna 22:56

4M ago22:56

22:56

February is Career and Technical Education (CTE) Month, and there is a growing interconnection of robotics in CTE curriculums (and vice versa) happening in education. With a teaching background and a journey spanning two decades, Jason McKenna is the Vice President of Global Educational Strategy for VEX Robotics, a published author, and an experien…

1
Ep.8 - Empowering Women in STEM: A Journey of Inclusion and Innovation ft. Cathy Derksen 27:39

4M ago27:39

27:39

About The Guest: Cathy Derksen is a catalyst for change, dedicated to empowering midlife women to rediscover their brilliance and step into new possibilities. As the founder of Inspired Tenacity Global Solutions Inc., she provides women with the tools, confidence, and support they need to navigate major life transitions and create success on their …

1
STEM Everyday #288 | YouTube Lessons & Personalized Learning | feat. Mister Marx 21:07

4M ago21:07

21:07

Matt (AKA Mister Marx) is the creator of the Mister Marx Math Adventures series on YouTube and the founder of dodat.ai, a social media platform aimed at fostering community among educators, parents, and learners of all ages. As an educator, Mister Marx enjoys the challenge that comes with breaking down complex topics for learners. His videos on You…

1
From black holes to AI in mathematics: AI Innovation in Mathematics and Health with Yaron Hadad 59:24

4M ago59:24

59:24

In this episode, we chat with Yaron Hadad, a fascinating individual who transitioned from theoretical physics to entrepreneurship. We explore his groundbreaking work on black holes and gravitational waves, and learn about the Ramanujan Machine - an algorithmic system he helped develop that discovers new mathematical formulas and democratizes mathem…

1
STEM Everyday #287 | Resources & Experience in STEM Classrooms | feat. Jason Erdreich 27:54

5M ago27:54

27:54

Jason Erdreich is an educational leader, patented inventor, author, and all around tinkerer and maker of things. With professional teaching experience in K-12, University, and adult learning environments, Mr.E has guided thousands of students of all ages in learning how to solve problems while using technology as a tool to facilitate creation, inno…

1
STEM Everyday #286 | Modeling Instruction & Engagement | feat. Eric Robinson 23:42

5M ago23:42

23:42

Eric Robinson is a physics teacher at Herbert Hoover High School in Glendale, CA. His dive into Modeling Instruction explains concisely how instruction (especially science) can be improved. From modelinginstruction.org, "Modeling Instruction is a guided-inquiry approach to teaching science that organizes instruction around the handful of conceptual…

1
#48 Bell Labs - David MacQueen 2:10:12

5M ago2:10:12

2:10:12

In this episode we continue with our conversation with David MacQueen, he is an Emeritus Professor from the University of Chicago, and has worked at Bell Labs for 20 years. Bell Labs began as the research and development section of the American Telephone and Telegraph company, aka AT&T, which originally hold exclusive hold of the telephone patent. …

1
Building a Native Search Engine in PostgreSQL: ParadeDB's Journey to Replace Elasticsearch with Philippe Noël 1:00:21

5M ago1:00:21

1:00:21

In this episode, we chat with Philippe Noël, founder of ParadeDB, about building an Elasticsearch alternative natively on PostgreSQL. We explore the challenges and benefits of extending PostgreSQL versus building a separate system, diving into topics like full-text search, faceted analytics, and why organizations need these capabilities. We discuss…

1
STEM Everyday #285 | Space Junk Solutions | feat. Alex Grab 12:55

5M ago12:55

12:55

Registration Deadline: EXTENDED to Feb 14, 2025 Alex Grab is the Director of Offsite Programming at the Space Foundation, and shares about the Space Sustainability Competition for 7th-8th grade students based in the United States. Why does space junk matter? Space debris includes defunct satellites, rocket parts, and fragments that orbit Earth at h…

1
#47 The History of LCF, ML and HOPE - David MacQueen 2:05:04

5M ago2:05:04

2:05:04

David MacQueen has worked at Bell Labs for around 20 years during it’s Golden Age. Professor at Chicago University for 23 years. He is one of the designers of SML, one of the fathers of HOPE the programming language that introduced the notion of Algebraic Datatypes. So this interview was very special to me personally where I could get to hear all t…

1
Optimizing SQL with LLMs: Building Verified AI Systems at Espresso AI with Ben Lerner 1:06:04

5M ago1:06:04

1:06:04

In this episode, we chat with Ben, founder of Espresso AI, about his journey from building Excel Python integrations to optimizing data warehouse compute costs. We explore his experience at companies like Uber and Google, where he worked on everything from distributed systems to ML and storage infrastructure. We learn about the evolution of his lat…

1
Ep.7 - Mathematics, Money, and Mindset: Unpacking Gender Equality ft. Dr Morley Muse 32:24

5M ago32:24

32:24

About The Guest: Dr. Morley Muse, a Chemical, Environmental, and Renewable Energy Engineer, is a trailblazer in STEM advocacy, consulting, and entrepreneurship. Co-founder of iSTEM Co., she champions women's employment in STEM, with initiatives like DEIR, a bias-free recruitment platform that won the Lift Women Social Impact Award. Her expertise sp…

1
Euromaths: Reinhard Siegmund-Schultze 15:30

6M ago15:30

15:30

Last summer we were lucky enough to attend the European Congress of Mathematics (ECM) in Seville, Spain. The Congress sees the award of several prestigious prizes, including the Otto Neugebauer Prize for the History of Mathematics. In this episode of Maths on the Move we talk to this year's winner of the Otto Neugebauer Prize, Reinhard Siegmund-Sch…

1
Security as Code: Building Developer-First Security Tools with David Mytton 1:03:51

6M ago1:03:51

1:03:51

In this episode, we chat with David Mytton, founder and CEO of Arcjet and creator of console.dev. We explore his journey from building a cloud monitoring startup to founding a security-as-code company. David shares fascinating insights about bot detection, the challenges of securing modern applications, and why traditional security approaches often…

Podcasts Worth a Listen

Foundations For Mathematics Podcasts

Podcasts Worth a Listen

Quick Reference Guide