by Pedro Abreu
An accessible podcast about Type Theory, Programming Languages Research and related topics.
Language
🇺🇲
Publishing Since
12/14/2020
Email Addresses
1 available
Phone Numbers
0 available
March 14, 2025
<p>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.</p> <p>He has a couple of very interesting main projects, such as the first Cedille 2 Interpreter, Saber VM, and Arctic.</p> <p>In this episode we will talk about all of his projects. His trajectory becoming self-taught in PL, compilers and Formal Methods, and he shares with us the wealth of resources he used to navigate this sea of knowledge. We also have a brief but heated discussion on the ethics of Science.</p> <h1>Links</h1> <ul> <li><a href="https://ryanbrewer.dev/">Ryan's Website</a></li> <li><a href="https://github.com/SaberVM/SaberVM">Saber VM</a></li> <li><a href="https://arctic-framework.org">Arctic</a>, which is built on top of <a href="https://hexdocs.pm/lustre/index.html">Lustre</a></li> <li><a href="https://ryanbrewer.dev/wiki">Category Theory Wiki</a></li> </ul>
January 21, 2025
<p>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.</p> <p>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. Once that expired in the 1800s they needed to develop new technology to prove that it was still the best company, and hence Bell Labs was born.</p> <p>Over the course of the years this fascinating institution has registered more than 26 thousand patents, among of which we have the transistor, the laser, the solar cell and communication satellites. Over the course of the last 88 years they were awarded a jaw dropping amount of 10 Nobel prizes and 5 Turing awards.</p> <p>In this interview David MacQueen shares with us how was it like to work in such an incredible institution during it’s golden age. He shares insights about the technology, the space, the people, the management style, and much more!</p> <h1>Links</h1> <ul> <li><a href="http://cs.uchicago.edu/people/dave-macqueen/">David's Website</a></li> <li><a href="https://github.com/dmacqueen">David's Github</a></li> </ul>
January 7, 2025
<p>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.</p> <p>So this interview was very special to me personally where I could get to hear all the stories about the dawn of Functional Programming as we know. And it is my great pleasure to have the honor to share it with you all.</p> <h1>Links</h1> <ul> <li><a href="http://cs.uchicago.edu/people/dave-macqueen/">David's Website</a></li> <li><a href="https://github.com/dmacqueen">David's Github</a></li> <li><a href="https://smlfamily.github.io/history/macqueen-lucafest.pdf">Luca Cardelli and the Early Evolution of ML</a></li> <li><a href="https://dl.acm.org/doi/10.1145/3386336">The History of SML</a></li> <li><a href="https://www.research.ed.ac.uk/en/publications/hope-an-experimental-applicative-language">HOPE</a></li> <li><a href="https://smlfamily.github.io/">SML Website</a></li> <li><a href="https://www.smlnj.org/">SML/NJ Website</a></li> <li><a href="https://github.com/smlnj">SML/NJ Github</a></li> <li><a href="https://smlfamily.github.io/">SML Family Website</a></li> </ul>
Aaron Stump
Haskell Podcast
Adam Gordon Bell - Software Developer
Oxide Computer Company
Changelog Media
Sean Carroll | Wondery
Quanta Magazine
[email protected]
Jamison Dance and Dave Smith
Joshua Weilerstein
The Array Cast
37signals
Software Unscripted
Michael Kennedy and Brian Okken
Pod Engine is not affiliated with, endorsed by, or officially connected with any of the podcasts displayed on this platform. We operate independently as a podcast discovery and analytics service.
All podcast artwork, thumbnails, and content displayed on this page are the property of their respective owners and are protected by applicable copyright laws. This includes, but is not limited to, podcast cover art, episode artwork, show descriptions, episode titles, transcripts, audio snippets, and any other content originating from the podcast creators or their licensors.
We display this content under fair use principles and/or implied license for the purpose of podcast discovery, information, and commentary. We make no claim of ownership over any podcast content, artwork, or related materials shown on this platform. All trademarks, service marks, and trade names are the property of their respective owners.
While we strive to ensure all content usage is properly authorized, if you are a rights holder and believe your content is being used inappropriately or without proper authorization, please contact us immediately at [email protected] for prompt review and appropriate action, which may include content removal or proper attribution.
By accessing and using this platform, you acknowledge and agree to respect all applicable copyright laws and intellectual property rights of content owners. Any unauthorized reproduction, distribution, or commercial use of the content displayed on this platform is strictly prohibited.