Best ML&S Podcasts (2025)

1
Repercussions of the Federal Stablecoin Legislation on the Credit Union Industry 33:50

17d ago33:50

33:50

Mike and Mike discuss the passage of the GENIUS Act and some other key takeaways for your credit union from 'Crypto Week'.By ML&S

1
Together backs Gibran's ‘scale free’ AI, Tesla starts with Model Y in India, and more 6:13

26d ago6:13

6:13

Tesla launches Model Y in India at premium price, opens first showroom in Mumbai Tesla has officially launched its Model Y electric SUV in India, pricing it at $69,766 (about ₹60 lakh)— significantly higher than in key global markets due to India’s import duties. The vehicles will be imported from China, with retail sales beginning at a new showroo…

1
The Climate on Monday: a brief on SusMafia's collaborative summit SusCrunch 2025 20:38

27d ago20:38

20:38

For today's episode of The Climate on Monday, I thought I’d bring you a brief conversation with some of the key people at The Sustainability Mafia, or SusMafia, about their upcoming SusCrunch 2025 event for anyone who’s a stakeholder in India’s efforts to hit net zero. Joining me on this episode are three dynamic leaders from SusMafia — Anirudh Gup…

1
Friday Deep Tech Wrap: Varda Space raises $187 million, Airalo a unicorn, and more 7:03

30d ago7:03

7:03

India launches ₹10,000 crore second tranche of deep tech fund Union Minister Piyush Goyal announced a ₹10,000 crore second tranche under the government’s ‘Fund of Funds’ at Sangam 2025, aiming to strengthen India’s deep tech ecosystem. The fund will support the entire technology lifecycle, from research to commercial deployment, focusing on AI, mac…

1
#52 Why is Haskell so special - Lennart Augustsson 1:30:31

1M ago1:30:31

1:30:31

Lennart Augustsson has spent the last four decades quietly — and sometimes mischievously — shaping the way we think about code. He co-authored Lazy ML in the early 80s, wrote A Compiler for LML back in 1984, and was behind HBC, the first publicly available Haskell compiler. If you've used Haskell, worked with hardware described in Bluespec, or play…

1
Robotic gallbladder surgery, how Quantum ML could boost chip manufacturing, and more 5:30

1M ago5:30

5:30

Robot performs first realistic gallbladder surgery autonomously A Johns Hopkins University team has developed a robot that autonomously completed a complex phase of gallbladder removal with 100 percent accuracy. Trained on surgical videos and powered by advanced machine learning, the SRT-H robot adapted in real time to unpredictable scenarios, resp…

1
Why humanoid robots are the next big thing in AI, AWS’s Space Accelerator in India, and more 7:28

1M ago7:28

7:28

AWS launches dedicated space accelerator for startups in India Amazon Web Services (AWS) has launched a space accelerator in India, supporting 24 startups across diverse segments such as launch vehicles, satellite imagery, geospatial analysis, and precision farming, the world’s biggest cloud computing provider said in a recent press release. The 14…

1
The Climate on Monday: Green Climate Fund’s record mandate, Crosstown’s innovative hydrogen retrofit, and more 7:54

1M ago7:54

7:54

Green Climate Fund approves record $1.2 billion for climate projects in developing nations The Green Climate Fund has approved a record $1.2 billion for 17 new climate projects, mainly in Asia and Africa, to help vulnerable nations adapt to and mitigate climate change, Reuters reports. The investments include $227 million for green bond markets and…

1
Khosla, Eclipse fund Genesis AI’s vision for robotics foundation model, Climeworks hits $1 bln, and more 5:55

1M ago5:55

5:55

Amazon deploys one million robots, launches AI to boost warehouse efficiency Amazon has surpassed the deployment of one million industrial robots, marking a major automation milestone as its latest system began operations in a Japanese fulfillment center, the Association for Advancing Automation reports. Amazon also introduced DeepFleet, a generati…

1
India approves $12 billion R&D and I fund, Loopworm’s insect protein tech, Aureka’s sustainable diamonds get Peak XV sparkle, and more 6:16

1M ago6:16

6:16

Google signs landmark deal with Commonwealth Fusion Systems to commercialise fusion energy Google has entered its first commercial fusion energy agreement, committing to purchase 200 megawatts of clean power from Commonwealth Fusion Systems’ (CFS) inaugural ARC (affordable, robust and compact) plant in Virginia, expected to go online in the early 2…

1
How LogicFlo’s AI empowers life sciences experts, Genrobotics Bandicoots in Chennai sewers, and more 6:10

1M ago6:10

6:10

BEML inaugurates aerospace SEZ facility in Bengaluru, lays foundation for major expansion BEML Limited has inaugurated a state-of-the-art warehousing facility at the KIADB Aerospace SEZ in Bengaluru. It has also laid the foundation for a larger Phase II expansion. This initiative aims to strengthen India’s defence and aviation ecosystem by developi…

1
Big Tech’s net zero goals unrealistic researchers say, India in SDG 100 for the first time, and more 5:48

1M ago5:48

5:48

Tech Giants' Net Zero Goals May Be Unachievable Amid AI Data Center Boom Researchers warn that the net zero pledges of big tech companies such as Microsoft, Apple, Google, Meta, and Amazon are increasingly unrealistic as they expand AI and data centers, driving up energy use, according to a report by AFP that was widely syndicated last week. "The g…

1
Deep tech wrap on Friday: Green hydrogen solutions rise in India, aerospace startup Raphe scores $100 million, and more 6:53

1M ago6:53

6:53

JuliaHub unveils Dyad to accelerate hardware development with AI-powered modeling JuliaHub has launched Dyad, a new system that integrates Scientific Machine Learning, Generative AI, and traditional physics modeling to revolutionize hardware system design, according to a post from the eponymous company. APac ex-Japan IoT spending to reach $355 bill…

1
After 40 years an Indian in space, Bosch and Mindgrove, SolarSquare at WEF, Ather’s day, and more 5:29

1M ago5:29

5:29

Ax-4 mission marks historic return to space for India, Poland, and Hungary Axiom Mission 4 launched on June 25th, sending astronauts from India, Poland, and Hungary to the International Space Station for the first time in more than 40 years, according to the mission update blog on Axiom Space’s website. Led by American astronaut Peggy Whitson, the …

1
Muon and Rocket Lab’s launches, Krystal Biotech’s gene therapy, SunHydrogen’s pilot, EKA Mobility, and more 5:35

2M ago5:35

5:35

Muon Space launches Hydrosat’s VanZyl-2 mission with advanced climate data capabilities Muon Space has successfully launched Hydrosat’s VanZyl-2 mission, marking the fourth deployment of its HALO spacecraft platform. This mission aims to deliver high-resolution thermal infrared data for climate and agricultural monitoring. Rocket Lab adjusts Electr…

1
The climate on Monday: nations lag targets, India’s EV makers raise funding, Integrum’s IPO and more 5:43

2M ago5:43

5:43

Most countries fall behind on climate targets as progress slows in 2025 An analysis by E&E News and PoliticoPro reveals that most countries are failing to meet their climate targets, with progress stalling due to political pushback, economic headwinds, and slow adoption of clean technologies. While a few nations have made notable gains, the majorit…

1
TI’s $60 billion US plan, L&T’s second ESG bond, Embedl’s edge-AI tech, Neoclease’s gene-editing platform, and more 4:39

2M ago4:39

4:39

Texas Instruments commits $60 billion to semiconductor expansion The investment will build seven fabs across Texas and Utah, boosting U.S. production of 300mm chips for companies like Apple and Nvidia. Supported by $1.6B in CHIPS Act funding, the project will create 60,000 jobs and manufacture hundreds of millions of chips daily.[1] Embedl secures …

1
Nasa seeking feedback, China’s quantum advances, solid state batteries, India’s semicon SEZ rules and more 4:42

2M ago4:42

4:42

NASA seeks commercial feedback for future space communication networks NASA is inviting US and international companies to provide input on Earth proximity relay communication and navigation services as the agency transitions from its own satellite system to commercial solutions[1]. This move aims to enhance data relay for future science missions, s…

1
Space tech startups Impulse, Muon, fusion venture Proxima raise funding, AC settings rule in India 4:23

2M ago4:23

4:23

Impulse Space raises $300 million to expand space tug fleet for satellite mobility Impulse Space, founded by former SpaceX engineer Tom Mueller, has raised $300 million in a funding round led by Linse Capital, bringing total funding to $525 million, Reuters reports. The startup develops “space tugs” to move satellites between orbits, addressing ris…

1
The Climate on Monday: clean tech 2X, climate finance in India, a boost for SAF, synthetic graphite, and more 6:19

2M ago6:19

6:19

Global clean tech investments to hit 2X versus fossil fuels in 2025 Investment in clean technologies – renewables, nuclear, grids, storage, low-emissions fuels, efficiency and electrification – is on course to hit a record $2.2 trillion this year, attracting twice as much capital as fossil fuels, according to the 2025 edition of the International E…

1
Deep tech wrap on Friday: Pixxel sparks at iDEX, Hyperbots funding, AI4Bharat gets second Nilekani grant, and more 6:24

2M ago6:24

6:24

Mistral AI launches enterprise coding assistant to rival GitHub Copilot Mistral AI has introduced Mistral Code, a new enterprise-focused coding assistant designed to compete directly with GitHub Copilot. The tool offers on-premises deployment, robust data privacy, and deep customization for company codebases. Built on the open-source Continue proje…

1
What is Going on at the CFPB? Part 2 30:12

2M ago30:12

30:12

In the second part of our 2-part episode, the discussion about what has been going on at the CFPB with Jennifer Winston continues. The topics in Part 2 of this episode include an update about the current status of certain CFPB rules and Jenn and Mike do their best to discuss where the agency could go from here.…

1
TruAlt OMC, Eastman Li-ion batteries, BEL AI, IIT Madras entrepreneurship, Greaves Electric MD 4:42

2M ago4:42

4:42

TruAlt Bioenergy gains OMC status, to launch 100 flex-fuel retail outlets across India TruAlt Bioenergy, an ethanol producer, has secured ‘Oil Marketing Company’ (OMC) status, enabling it to retail fuels nationwide. The company will soon launch some 100 flex-fuel outlets in Karnataka and Maharashtra, offering ethanol, Bio-CNG, petrol, diesel, and E…

1
IonQ to buy Oxford Ionics, NASA science to be ripped in half, Bhashini for railways, and Vecmocon’s funding 5:37

2M ago5:37

5:37

US scientists alarmed as Trump’s proposed budget slashes NASA science funding by half US scientists have condemned President Trump’s fiscal 2026 budget proposal, which seeks to cut NASA’s science funding by 47 percent and reduce its workforce by a third. The plan would cancel 41 missions, including the Mars Sample Return and OSIRIS-APEX, and halt c…

1
The Climate on Monday: Shipping industry, Microsoft’s deal, Gridcare, DAC, and Stride Green 6:13

2M ago6:13

6:13

Shipping industry faces hurdles as it navigates new net zero rules The shipping industry, responsible for about 3 percent of global emissions, faces a pivotal period as it seeks scalable zero-emission solutions and adapts to stricter climate policies, Reuters reported last week. The sector must cut the greenhouse gas intensity of its fuel by 30 per…

1
Deep tech India momentum: 10 noteworthy developments so far in 2025 6:01

2M ago6:01

6:01

India’s deep tech sector witnessed some serious momentum heading into May. Notably, deep tech startups attracted $324 million in funding in the first four months of 2025, more than double the previous year’s figure for the same period, Economic Times reported, citing data from Venture Intelligence. While the absolute number is modest, compared with…

1
What is Going on at the CFPB? Part 1 29:59

2M ago29:59

29:59

In a 2-part episode, Jennifer Winston joins the podcast to discuss what has been going on at the CFPB since the return of the Trump administration - it's been a lot! The topic in Part 1 of this episode is a discussion about the shifting focus and priorities of the CFPB with the return of the Trump administration and what it could mean for the credi…

1
India’s AI and deep tech opportunity, Jua raises funding for Earth simulation, and a New Mexico deep tech coalition 5:01

2M ago5:01

5:01

India poised to become global leader in AI and deep tech, say experts India is at a pivotal moment to lead the world in artificial intelligence and deep tech, leveraging its vast digital data resources, according to global experts at the India Global Innovation Connect 2025 in Bengaluru, Times of India reports. Speakers highlighted India’s strategi…

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

2M 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
Amitabh Kant wants an Indian DARPA, Tata seeks Malaysian chip plant, Neuralink advances, and an NZ deep tech fund 4:41

2M ago4:41

4:41

In today’s headlines, Elon Musk’s Neuralink raises more funding as tests expand, Tata Electronics is said to be looking at an OSAT plant in Malaysia, a new deep tech fund in New Zealand, and a landmark proposal to establish India’s own DARPA. Tata Electronics eyes Malaysia chip fab acquisition to boost semiconductor expertise Tata Electronics is in…

1
BharatGen AI, Ather and Infineon, China’s rare earth India impact, and MFV’s new pre-seed fund 5:12

2M ago5:12

5:12

In today’s headlines, What’s Bharat Gen LLM, Ather and Infineon team up, China’s rare earth impact on EVs, and an innovative deep tech fund from MFV Partners. So, let’s get started. India launches Bharat Gen, first government-funded multimodal AI language model for Indian languages Union Minister Dr. Jitendra Singh launched Bharat Gen, India’s firs…

1
IndiaAI GPU capacity, Tata group's strategic investments, Wipro CTO on quantum tech 4:15

2M ago4:15

4:15

In today’s headlines, where’s India’s national AI GPU capacity at, the Tata Group’s plans for some of its strategic and emerging businesses, and a top CTO in the country, who’s optimistic about advances in quantum computing technologies. So, let’s get started. India’s AI GPU capacity hits 34,000 units India’s national compute capacity has surpassed…

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

3M 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
Two Board Members Removed! What is Going on at NCUA? 32:57

3M ago32:57

32:57

Jennifer Winston, Mike Mulvey, and Mike Heller break down the latest at the NCUA with the recent removal of Board Members Harper and Otsuka - the timeline of events, the current lawsuit, and what the NCUA may or may not be able to do with only a one member Board.By ML&S

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

5M 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
Loan Participations 101: What Credit Unions should consider before taking the Plunge 30:30

5M ago30:30

30:30

We are seeing an uptick in questions about the purchase of loan participations. Jenn Winston steps into the host chair to ask Mike Heller why loan participation purchases are attractive to both buyers and sellers, as well as what regulatory requirements buying credit unions should be aware of.By ML&S

1
What to Think About When Acquiring a CUSO 24:17

6M ago24:17

24:17

Mike Mulvey discusses what your credit union should be considering when acquiring an existing business to operate as a CUSO. We talk about how to legally structure these transactions, due diligence considerations in finding the right business, operating the business in accordance with CUSO regulations, and more!…

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

7M 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
#47 The History of LCF, ML and HOPE - David MacQueen 2:05:04

7M 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
Impact of 2024 Elections on the Credit Union and CUSO Industry 36:53

8M ago36:53

36:53

We have a full house Messick Lauer & Smith podcast episode to discuss the impact of the 2024 elections on the credit union and CUSO industry. This full roundtable discussion covers the transition at the NCUA and CFPB and also includes a host of other relevant industry topics that we are all keeping an eye on as we move from the Biden administration…

1
#46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot 1:03:36

8M ago1:03:36

1:03:36

In this episode Pierre-Marie Pédrot, one of the main Coq/Rocq developers joins us to talk about Krivine, Kleene and Gödel Realizability Models, how it relates to the BHK interpretation and CPS Translations, and how it was all already part of Gödel's work in Dialectica! If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.…

1
#45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot 1:21:41

9M ago1:21:41

1:21:41

In this episode Pierre-Marie Pédrot who is one of the main Coq/Rocq developers joins us to talk about what is Type Theory, what is Martin-Löf Type Theory, what are the properties we should care about in our type theory and why. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall Links Pierre-Marie's …

1
#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro 2:13:31

9M ago2:13:31

2:13:31

Mario Carneiro is the creator of Mathlib, Lean4Lean and Metamath0. He is currently doing his Postdoc at Chalmers University working on CakeML. In this episode we talk about foundations of theorem provers, type systems properties, semantics and interoperabilities. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/ty…

1
Discussion on Data Security: What Credit Unions Expect and CUSOs Need to Know 30:55

10M ago30:55

30:55

Mike and Mike are on the podcast today to discuss what credit unions are thinking, and what CUSOs should be thinking about regarding data security and confidentiality protections in credit union due diligence and contract writing and negotiating. These protections are topics covered in every critical service contract and this podcast includes some …

1
#43 PL in the Industry and Summer Schools - Patrick and Eric 1:01:30

11M ago1:01:30

1:01:30

In this episode Eric Bond and Patrick Lafontaine joins us to talk about the life in industry vs the life in academia. Eric is a PhD student at Michigan University under Max New, he works with some pretty cool esoteric cubical agda stuff. Before starting his PhD he has spent some time at the consultancy companies Two Six Technologies and 47 Degrees …

1
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi 1:52:49

12M ago1:52:49

1:52:49

In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In today’s episode we talk about the formal side of Distributed Sytems, session types, the …

1
The Post-Chevron Impact on the Credit Union Industry: What Do We Know 28:24

12M ago28:24

28:24

Mike, Jenn, and Mike have a roundtable discussion about the latest hot topics in the credit union industry including the Supreme Court's Loper Bright decision that overturned the Chevron doctrine, some of the latest regulatory actions at the CFPB, and an update on the FTC's final rule to ban noncompete clauses.…

1
#41 The Value of PL (and) Education - Satnam Singh 1:41:04

12M ago1:41:04

1:41:04

Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he wor…

1
#40 Secure Voting - Joe Kiniry 1:08:54

1y ago1:08:54

1:08:54

In this episode we go into a deep dive into the formal methods side of Voting systems, and for this nobody better than our guest: Joe Kiniry, A Principal Scientist at Galois, Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focused on high-assurance elections technologies and services. For the past 20 years Joe has worked tirele…

Podcasts Worth a Listen

ML&S Podcasts

Podcasts Worth a Listen

Quick Reference Guide