Podcast Episodes
Back to Search
Joining Logic, Relational, and Functional Programming: Michael Arntzenius
This episode explores the intersections between various flavors of math and programming, and the ways in which they can be mixed, matched, and combin…
6 years, 7 months ago
Mathematical Foundations for the Activity of Programming: Cyrus Omar
Usually when we think of mathematics and programming languages, we think of tedious, didactic proofs that have nothing to do with our day to day expe…
6 years, 7 months ago
The Case for Formal Methods: Hillel Wayne
Hillel Wayne is a technical writer and consultant on a variety of formal methods, including TLA+ and Alloy. In this episode, Hillel gives a whirlwind…
6 years, 9 months ago
De-Nerding Programming: Jonathan Edwards
Jonathan Edwards is an independent researcher working on drastically simplifying programming for beginners. He is known for his Subtext series of pro…
6 years, 10 months ago
Moldable Development: Tudor Girba
Tudor Girba builds tools and techniques for improving the productivity and happiness of software teams. He currently works on the Glamorous Toolkit, …
6 years, 11 months ago
Democratizing Web Design: Vlad Magdalin
Vlad Magdalin is the CEO & co-founder of Webflow, a WYSIWYG website builder and CMS that's a thin layer of abstratction over HTML, CSS, and JavaScrip…
7 years ago
The Edges of Representation: Katherine Ye
Katherine Ye is a PhD student at CMU, where she works on representation, including programming languages, visualizations, notations, and interfaces t…
7 years, 1 month ago
Reflection 14: /about
If you haven’t been following my research journey, this episode is a great place to join! I recap of who I am, where I come from, what I’m trying to …
7 years, 1 month ago
Basic Developer Human Rights: Quinn Slack
Quinn Slack of Sourcegraph believes in low-hanging fruit. Before we improve programming in all the fancy ways, he has a list of all the little improv…
7 years, 2 months ago
Sustaining the Underfunded: Nadia Eghbal
Two years ago, Nadia Eghbal "stumbled onto the internet's biggest blindspot": sustainability of open-source. Her Ford Foundation report "Roads and Br…
7 years, 3 months ago