Best ML&S Podcasts (2025)

1
#54 The Goal of Science is to Communicate Ideas! - Philip Wadler 1:50:05

Play Pause

28d ago1:50:05

1:50:05

Philip Wadler is a well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. He got his Bachelor in 1977 at Stanford, his Masters in 1979 and his PhD in 1984 both at CMU. In 2023, he was awarded the distinguished honor of being elected a Fellow of the Royal …

1
What you Need to Know about Mortgage CUSOs 24:57

1M ago24:57

24:57

Amanda Smith joins the podcast to discuss important issues that your credit union needs to consider prior to forming, investing in, or partnering with a mortgage CUSO.By ML&S

1
#53 RustBelt, Iris, and the Art of Writing - Derek Dreyer 2:25:22

2M ago2:25:22

2:25:22

Derek Dreyer is a professor at the Max Planck Institute, in 2024 he was awarded the ACM Fellowship, in 2017 he got the ACM Sigplan Robin Milner Young Researcher Award. And has participated or lead greatly influential work, such as the RustBelt Project and Iris. In this episode Derek shares his experience going to Grad School at CMU, how even a grea…

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

3M 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
#52 Why is Haskell so special - Lennart Augustsson 1:30:31

4M 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
What is Going on at the CFPB? Part 2 30:12

5M 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
What is Going on at the CFPB? Part 1 29:59

5M 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
#51 s/Coq/Rocq - Nicolas Tabareau 1:42:05

5M 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
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra 2:06:47

6M 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

6M 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

8M 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

8M 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

9M 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

9M 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

10M 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

11M 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

11M 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

11M 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

12M 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

1y 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

1y 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

1y 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

1y 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

1y 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

1+ y 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…

1
The CFPB's Crusade against Junk Fees and How it Impacts the CU Industry 40:45

1+ y ago40:45

40:45

Today, we are once again joined by Jenn Winston and Mike Mulvey to discuss the latest developments from the CFPB regarding their focus against junk fees. After Jenn discusses recent actions taken by the CFPB and their impact on the credit union industry, Mike Mulvey has some ideas and actions that credit unions can and should be thinking about to r…

1
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen 1:49:42

1+ y ago1:49:42

1:49:42

In this episode we continue our conversation with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. In today’s episode we talk about the story behind writing The Litt…

1
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen 1:55:58

1+ y ago1:55:58

1:55:58

In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer. He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris. David is a super upbeat person and I feel that we could spend hundreds of hours talking…

1
The CFPB’s Proposed Personal Financial Data Rights rule 37:36

1+ y ago37:36

37:36

In this episode, Jenn Winston sits down with Mike Heller to discuss the CFPB's new proposed Personal Financial Data Rights rule. Mike answers questions about what credit unions, CUSOs, and fintechs need to know so they can be ready when the final rule is published in the fall.By ML&S

1
Navigating Success with Chad Nedland: Strategies for Meaningful Impact 25:32

1+ y ago25:32

25:32

Join us for an enlightening conversation with Chad Nedland, a renowned author, business strategy coach, and inspiring speaker. With over two decades of experience in transforming challenges into steppingstones, Chad has mastered the art of driving personal and professional growth. In this episode, Chad will share his invaluable insights on resilien…

1
Getting ready for the NACUSO Conference 28:56

1+ y ago28:56

28:56

Pre-NACUSO Conference Roundtable! Mike, Jenn, and Mike get together to give a preview to their "Hot Topics" presentation at next week's NACUSO Conference. It covers topics and trends that we are looking at prevailing in the industry.By ML&S

1
Tech Horizons: Unveiling Density 6 with Ken Davis 24:12

1+ y ago24:12

24:12

Join us on Dove and Dragon Radio as we sit down with tech mogul Ken Davis, the visionary behind Density 6 (D6). Dive deep into the world of innovation as Ken gives us an exclusive sneak peek into the cutting-edge products set to revolutionize the industry. Discover the inspiration, technology, and strategy propelling D6 to the forefront of the tech…

1
The Timekeeper's Guide: with M.L. Ruscsak and Trenace' K. Carter 29:58

1+ y ago29:58

29:58

Welcome to Dove and Dragon Radio, where mystical insights meet practical wisdom. Join your host, M.L. Ruscsak, as we journey through the realms of time management and personal empowerment with the illustrious Trenace' K. Carter, Founder and CEO of 1 Authentic Woman, Certified Master Life Coach, and author of "Embrace Your Crown: A Time Management H…

1
🌟 From Broke to CEO: Unveiling the Journey to Success 🌟 37:08

1+ y ago37:08

37:08

Join us for an inspiring and transformative keynote presentation by M.L. Ruscsak, esteemed CEO and founder, as he shares his remarkable journey from adversity to triumph. In this riveting discussion, M.L. delves deep into the challenges he faced, the obstacles he overcame, and the invaluable lessons he learned along the way. In a world where the ro…

1
#37 Compilers, Staging, Futamura Projections - Guannan Wei 1:53:20

1+ y ago1:53:20

1:53:20

In this episode we talk with Guannan Wei, from Purdue University. Guannanfinished his PhD last year under Tiark Rompf, and is currently doing hisPost-Doc with Tiark. Guannan has worked on a plethora of differentcompilers topics, and in this conversation we will talk about Staging,Futamura Projections, Symbolic Execution, Compiler Applications in Sm…

1
Empowering Voices: LaVita Gunby on Dove and Dragon Radio 19:22

1+ y ago19:22

19:22

Join us on Dove and Dragon Radio as we celebrate International Women's Day with the remarkable LaVita Gunby, author of the upcoming book "She's So Perfect." Set for its grand release on March 22nd, LaVita's visit to our studio promises an enriching conversation full of inspiration, empowerment, and poetic grace. In this special episode, LaVita will…

1
Join us on Dove and Dragon Radio for an enlightening conversation with the esteemed Marco Torres 22:24

1+ y ago22:24

22:24

Join us on Dove and Dragon Radio for an enlightening conversation with the esteemed Marco Torres. In this exclusive episode, we delve into the pioneering journey of Marco, exploring the milestones and challenges that have shaped his path to success. Discover the insights and strategies that Marco employs to navigate the ever-evolving landscapes of …

1
Innovating with Luka Yancopoulos: Insights and Inspirations 18:42

1+ y ago18:42

18:42

In this compelling episode of Dove and Dragon Radio, we have the pleasure of hosting Luka Yancopoulos, the innovative mind behind go-grapevine.com, a revolutionary platform designed to assist healthcare professionals in economizing on medical supplies. Luka’s journey is a testament to the power of innovation in addressing real-world challenges, par…

1
The Corporate Transparency Act: A Journey through the Maze 31:15

1+ y ago31:15

31:15

Mike Mulvey returns to In the CU for a deep dive into the Corporate Transparency Act, a new set of FinCEN regulations that include reporting obligations that could impact your CUSO.By ML&S

1
Dove and Dragon Radio with Dave Albin, CEO of Firewalk Productions 39:15

2y ago39:15

39:15

Join us on Dove and Dragon Radio for an inspiring episode with Dave Albin, CEO of Firewalk Productions LLC, who brings over three decades of experience in personal development and a lifetime of entrepreneurial spirit. Dave's journey began at the tender age of 9 with a paper route and selling flowers, paving the way for a remarkable path of growth a…

1
#36 Behind the Person Behind this Podcast - Pedro Abreu 1:49:55

2y ago1:49:55

1:49:55

In this episode we celebrate 3 years of existence of this podcast byreflecting on the journey so far, what is my philosophy, how do Iapproach the interviews, my overall goals for the show, and some of our plansfor the future. In order to achieve this, I first take a detour and tell you a little moreabout my personal history, and my carreer in type …

1
#35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael 1:21:29

2y ago1:21:29

1:21:29

In this episode we talk with Eduardo Rafael. He isself-thaught programming languages enthusiast, youtuber, twitch streamer,multi-skilled programmer that has worked in different aspects of computerscience such as PL, operating systems, blockchain, and many other stuff. Inthis conversation we talk about his experience as a developer and hacker thatdi…

1
The Entrepreneurial Mindset Unveiled: A Journey into Success 13:38

2y ago13:38

13:38

Welcome to the Dove and Dragon Radio Podcast, a place where we dive deep into the minds of business visionaries and authors. I'm your host, M.L. Ruscsak, CEO and Founder of Trient Press. Today, we have a special episode where I'll be your sole speaker, taking you on an extraordinary journey into the fascinating world of the entrepreneurial mindset.…

1
An Interview with the Honorable Rodney Hood 36:05

2y ago36:05

36:05

Brian Lauer speaks with NCUA Board Member Rodney Hood.By ML&S

1
Amplify Her Leadership: Strategies for Ascendancy with M.L. Ruscsak Full speech 10:52

2y ago10:52

10:52

🌟 Are you ready to transform your leadership journey? Dive into an empowering episode with M.L. Ruscsak, CEO of Trient Press, as she navigates the intricacies of 'Cultivating a Leadership Mindset' on our latest podcast. This episode, specially themed for the "Amplify Her" event, is a treasure trove of insights for aspiring and established women lea…

1
Amplify Her Leadership: Strategies for Ascendancy with M.L. Ruscsak 8:50

2y ago8:50

8:50

Join us on Dove and Dragon Radio for a compelling episode titled "Navigating Leadership Heights: Empowering Strategies with M.L. Ruscsak." In this enlightening session, M.L. Ruscsak, renowned CEO and founder of Trient Press, delves deep into the art and science of cultivating a transformative leadership mindset. M.L. Ruscsak shares invaluable insig…

1
Pioneering Pathways: Celebrating Women in STEM on Dove and Dragon Radio 15:56

2y ago15:56

15:56

Embark on an illuminating expedition with host M.L. on Dove and Dragon Radio, as we traverse the inspiring journeys of remarkable women who have significantly contributed to the fields of Science, Technology, Engineering, and Mathematics (STEM). This episode resonates with the indomitable spirit of discovery and innovation, highlighting the groundb…

1
Dove and Dragon Radio with host M.L.Ruscsak and guest Steve Eoannou 29:09

2y ago29:09

29:09

🎙️ Welcome to Dove and Dragon Radio, the place where captivating stories and fascinating guests come to life! I'm your host, M.L. Ruscsak, and today we have a special treat for you. We're diving into the world of literature and adventure with an extraordinary author, Steve Eoannou. 📚 Imagine unraveling the mysteries behind iconic characters like th…

1
Dove & Dragon Radio" with host M.L. Ruscsak and special guest Greg Moore, the CEO of Franchise Maven 25:51

2y ago25:51

25:51

"Dove & Dragon Radio," hosted by M.L. Ruscsak, features a riveting discussion with special guest Greg Moore, the distinguished CEO of Franchise Maven. In this enlightening conversation, M.L. Ruscsak delves into the realm of franchising, uncovering the intricate details of this business model with her insightful inquiries. Greg Moore, a seasoned fra…

1
#34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke 1:28:27

2y ago1:28:27

1:28:27

Andrew Marmaduke is a PhD Candidate from the University of Iowa, he worksunder Aaron Stump and has been working on revamping the theorem proverCedille 2. In this episode we tackle fundamental questions about thefoundations of the theorem provers, Cedille and Cedille 2. If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.…