Manon Revel (🔗, 🔗, 🔗), an Employee Fellow at the Berkman Klein Center for Internet & Society at Harvard University, joins Michael and Dave for a conversation about the past, present, and future of democracy, and ways to understand it in both computational and practical terms. [Thumbnail based on image provided courtesy of Manon Revel]…

If you're anything like Ivan (oof, sorry), you've heard of Pygmalion but never caught more than the gist. Some sort of project from the early 70s, similar to Sketchpad or Smalltalk or something, yet another promising prototype from the early history of our field that failed to take the world by storm. Our stock-in-trade on this show. But you've pro…

Inventing on Principle Stop Drawing Dead Fish The Future of Programming Yes, all three of them in one episode. Phew! Links $ patreon.com/futureofcoding — Lu and Jimmy recorded an episode about Hest without telling me, and by total coincidence released it on my birthday. Those jerks… make me so happy. Lu's talk at SPLASH 2023: Cellpond: Spatial Prog…

Dave Ackley's paper Beyond Efficiency is three pages long. With just these three pages, he mounts a compelling argument against the conventional way we engineer software. Instead of inflexibly insisting upon correctness, maybe allow a lil slop? Instead of chasing peak performance with cache and clever tricks, maybe measure many times before you cut…

Martha White, associate professor of Computing Science at University of Alberta (🔗, 🔗) joins Michael and Dave in a conversation about AI, system prediction and control, the power of sparse representations, and many aspects of machine learning from new mathematical theory to the absolutely practical control of a real water treatment plant. [Thumbnai…

Computer scientist Rich Sutton, FRS (🔗, 🔗, 🔗), a quiet giant of machine learning, joins Michael and Dave in a sprawling conversation touching on reinforcement learning, a hopeful view of AI, the importance of ideas, and a host of other topics. [Thumbnail image used courtesy of Rich Sutton]By Dave Ackley

In the spirit of clearly communicating what you're signing up for, this podcast episode is nearly three hours long, and among other things it contains a discussion of a paper by author Mary Shaw titled Myths & Mythconceptions which takes as an organizing principle a collection of myths that are widely believed by programmers, largely unacknowledged…

Michael interviews Dave about his recent video (YouTube) on a 'theory of everything'. The conversation begins with Michael praising Dave for finally doing some theory, and descends from there.

The subject of this episode's paper — Propositions as Types by Philip Wadler — is one of those grand ideas that makes you want to go stargazing. To stare out into space and just disassociate from your body and become one with the heavens. Everything — life, space, time, existence — all of it is a joke! A cosmic ribbing delivered by the laws of the …

Oren Etzioni, founding CEO of the Allen Institute for Artificial Intelligence and Professor Emeritus of Computer Science at University of Washington, (🔗, 🔗, 🔗) joins Michael and Dave in a conversation that ranges all over, from AI hype and language models to alignment and existential risk and ethics and morality to information pollution and cryptog…

Go To Statement Considered Harmful is a solid classic entry in the X Considered Harmful metafiction genre, authored by renowned computer scientist and idiosyncratic grump, Edsger Wybe Dijkstra. Surprisingly (given the impact it's had) this is a minuscule speck of a paper, lasting only 1-ish pages, and it even digresses several times from the main p…

Jonathan Frankle, the new Chief Scientist - Neural Networks at Databricks (🔗, 🔗, 🔗), joins Michael and Dave in a fast conversation about topics ranging from AI risks and fairness to the problems of Computer Science education to the beautiful messiness of modern deep learning. [Thumbnail based on image courtesy of Jonathan Frankle]…

This community is a big tent. We welcome folks from all backgrounds, and all levels of experience with computers. Heck, on our last episode, we celebrated an article written by someone who is, rounding down, a lawyer! A constant question I ponder is: what's the best way to introduce someone to the world of FoC? If someone is a workaday programmer, …

The execution of code, by its very nature, creates the conditions of a "strong legalism" in which you must unquestioningly obey laws produced without your say, invisibly, with no chance for appeal. This is a wild idea; today's essay is packed with them. In drawing parallels between law and computing, it gives us a new skepticism about software and …

Michael and Dave talk about their love and hate relationships with writing, in the context of Dave's foray into publishing "Companionate Caring" and Michael's upcoming MIT Press book "Code to Joy". (This conversation is Part 2 of Where The Hell Have Michael & Dave Been?)By Dave Ackley

Michael and Dave catch up on where the hell they've been for the last couple months. (Mostly it's about busy, but Dave wants to blame everything on AI.)By Dave Ackley

This is a normal episode of a podcast called Future of Coding. We talk about INTERCAL, a real tool for computer programming. [Do I need to say more? Will this sell it? Most people won’t have heard of INTERCAL, but I think the fake out “normal” is enough to draw their attention. Also, I find “computer programming” funny. Not sure why I put that in q…

Out of the Tar Pit is in the grand pantheon of great papers, beloved the world over, with just so much influence. The resurgence of Functional Programming over the past decade owes its very existence to the Tar Pit’s snarling takedown of mutable state, championed by Hickey & The Cloj-Co. Many a budding computational philosophizer — both of yours tr…

Michael Levin (🔗, 🔗, 🔗) is the director of the Allen Discovery Center at Tufts University, and Distinguished Professor of Biology and Vannevar Bush Chair, among several other roles. In this episode he talks with Michael and Dave about computing writ very large indeed, with topics ranging from the meaning of life and agency to the problems of comput…

Cynthia Rudin, the Earl D. McLean, Jr. Professor of Computer Science, Electrical and Computer Engineering, Statistical Science, Mathematics,and Biostatistics & Bioinformatics at Duke University (🔗, 🔗, 🔗), joins Michael and Dave for a fast and feisty conversation about how to make machines we can understand and control, with high-stakes examples lik…

Jimmy and I have each read this paper a handful of times, and each time our impressions have flip-flopped between "hate it so much" and "damn that's good". There really are two sides to this one. Two reads, both fair, both worth discussing: one of them within "the frame", and one of them outside "the frame". So given that larger-than-normal surface…

Vukosi Marivate, Associate Professor of Computer Science and ABSA UP Chair of Data Science at the University of Pretoria (🔗, 🔗, 🔗), joins Michael and Dave for a discussion of AI and machine learning research across Africa and around the world, and the challenges of centralization and efficiency versus diversification at the edge, and what each can …

This is Jimmy’s favourite paper! Here’s a copy someone posted on HitBug. Is it as good as the original? Likely not! Ivan also enjoyed this Theory Building business immensely; don’t be fooled by the liberal use of the “blonk” censor-tone to cover the galleon-hold of swearwords he let slip, those mostly pertain to the Ryle. For the next episode, we’r…

Before the time-travelling talks, the programmable rooms, the ladders and rocket launchers, we had the first real Bret Victor essay: Magic Ink. It set the stage for Bret's later explorations, breaking down the very idea of "software" into a few key pieces and interrogating them with his distinct focus, then clearly demoing a way we could all just d…

Andrew Davison is Professor of Robot Vision (🔗) at Imperial College London, and leads the Dyson Robotics Laboratory (🔗). Andrew invented the SLAM algorithm for robot mapping and navigation, and as this fast conversation makes clear, Dave and Michael are both big fans. [Thumbnail based on image courtesy of Andrew Davison]…

Following our previous episode on Richard P. Gabriel's Incommensurability paper, we're back for round two with an analysis of what we've dubbed the Worse is Better family of thought products: The Rise of Worse Is Better by Richard P. Gabriel Worse is Better is Worse by Nickieben Bourbaki Is Worse Really Better? by Richard P. Gabriel Next episode, w…

Reclusive New York Times best-selling author John Twelve Hawks (🔗, 🔗 , 🔗) joins Michael and Dave to discuss problems of the world today and possibilities of the world tomorrow -- including AI risks, technological centralization, machines acting like people and people acting like machines, sex drives for sexbots, and the question of unintended conse…

Today we're discussing the so-called "incommensurability" paper: The Structure of a Programming Language Revolution by Richard P. Gabriel. In the pre-show, Jimmy demands that Ivan come right out and explain himself, and so he does, to a certain extent at least. In the post-show, Jimmy draws such a thick line between programming and philosophy that …

Peter Norvig 🔗, who literally (co)wrote the book 🔗 on Artificial Intelligence in the 1990s, talks with Michael and Dave about how the field has changed over the years, AI fairness and ethics, what is a symbol, and much more. [Cover image based on "Peter Norvig in 2019 at the Interval" 🔗 , licensed CC BY-SA 4.0 by Christopher Michel (Cmichel67 🔗 on …

Oriel FeldmanHall, Brown University assistant professor and director of the Social and Affective Neuroscience Lab (🔗, 🔗), joins Michael and Dave in a wide-ranging discussion starting with what reinforcement learning does and doesn't mean -- and she turns the tables to ask what computer scientists do and don't get wrong about mind and brain and lear…

There once was a podcast episode. It was about a very special kind of book: the Dynabook. The podcast didn't know whether to be silly, or serious. Jimmy offered some thoughtful reflections, and Ivan stung him on the nose. Sponsored by Replit.com, who want to give you some reasons not to join Replit, and Theatre.js, who want to make beautiful tools …

Michael and Dave tackle the big questions and settle two of them: Is Agency A Zero Sum Game? Why Do (Internet of) Things Suck? How Can We Turn Computation Away From Centralization? [Image of ancient Philips Hue Controller operating without internet access, used by permission of Dave the owner]By Dave Ackley

symbol-manipulation.com collaboration.com thought-experiments.org behaviorism.com theatre.js system.org evolution.ca pithy.com replit.com summary.co.uk cringe.net futureofcoding.org programming.com See omnystudio.com/listener for privacy information.By Future of Coding

James Tompkin 🔗, assistant Professor of Computer Science at Brown University 🔗, joins Michael and Dave to talk about visual computing research writ large, with topics ranging from the relevance of traditional computer graphics in the era of machine learning, to differentiable rendering and neural radiance fields, to DALL-E 2 and remixing Hitchcock'…

Ellie Pavlick, Assistant Professor of Computer Science at Brown University (🔗) and Research Scientist at Google AI (🔗), joins Michael and Dave in a quick discussion of the remarkable new large AI language models. Topics range from what is and isn't known about the models, and by them, to if or how scared should we be of them, to what 'traditional' …

Jimmy Miller joins the show as co-host. Together, we embark on a new series of episodes covering the most influential and interesting papers in the history of our field. Some of these papers led directly to where we are today, and their influence cannot be overstated. Others were overlooked or unloved in their day, and we revive them out of curiosi…

Andrew Critch (🔗), a mathematician, AI researcher, organizer and activist (cofounder 🔗, researcher 🔗, cofounder 🔗), joins Michael and Dave for a fast-moving fifty minutes about existential risks (and opportunities) of AI and other technologies, the limits of intelligence, and the importance of structure at all scales and having a good spirit.…

Dave tries to explain why he thinks the best way to understand people and other living things is via computation and programming languages, via codebases and code transmissions. Michael tries to help Dave sound slightly sane. [Image based on still frame from "We Are Coders"]By Dave Ackley

Fiery Cushman @fierycushman, professor of psychology at Harvard University 🔗, joins Michael and Dave in a wonderful conversation about morality seen both cognitively and computationally, with topics ranging from trolley problems and fake guns to the wisdom of the ancestors and the hubris of science to what makes moral thinking special. [Title image…

Today's guest is Ella Hoeppner, who first came onto the radar of our community back in the fall when she released a web-based visual Clojure editor called Vlojure, with a captivating introduction video. I was immediately interested in the project because of the visual style on display — source code represented as nested circles; an earthy brown ins…

Neil Lawrence (home, @lawrennd), the DeepMind Professor of Machine Learning at the University of Cambridge, joins Michael and Dave for a rollicking hour discussing everything from cybernetics to machine learning, from oil rigs to New Jersey shopping malls, from inconsistent scientific reviewing to gods and robots and much more. Talking Machines pod…

Carla Brodley, professor and Dean of Inclusive Computing at Northeastern University (link), talks to Michael and Dave about applying Machine Learning to real problems from computer security to medicine, and how to move the needle for diversity, equity, access, and belonging in Computer Science education. [Title image courtesy of Carla Brodley]…

Scott Anderson has spent the better part of a decade working on end-user programming features for VR and the metaverse. He's worked on playful creation tools in the indie game Luna, scripting for Oculus Home and Horizon Worlds at Facebook, and a bunch of concepts for novel programming interfaces in virtual reality. Talking to Scott felt a little bi…

Karen Levy, assistant professor in Information Science at Cornell University, joins Michael and Dave in a conversation ranging from AI, law, and smart contracts to CB radio, Road Dog Trucking, and Santa's narcs.By Dave Ackley

Anita Nikolich, Director of Research and Technology Innovation at the University of Illinois School of Information Sciences (webpage), joins Michael and Dave in a conversation ranging over decades and disciplines, from computer network security and the DEFCON hacker conferences to creating games for teaching about mis- and dis-information. [Title i…

Michael Bowling, professor of Computer Science at the University of Alberta, talks with Michael and Dave about robots playing robots at soccer, and how a computer program beat professional poker players at heads-up no-limit Texas Hold'em, and what it all means. [Image courtesy of Michael Bowling]By Dave Ackley

The name Replit will be familiar to regular listeners of our show. The backstory and ambitions behind the project, however, I bet will be news to you. Amjad Masad, the founder and first programmer of Replit, is interviewed by Steve Krouse in this episode from the vault — recorded back in 2019, released for the first time today. Amjad shares the sto…

In this episode, I'll be talking to Toby Schachman, who many of you are surely familiar with thanks to an incredible string of projects he's released over the past decade, including Recursive Drawing back in 2012, Apparatus in 2015, and most recently Cuttle which opened to the public this past week. All of these projects superficially appear to be …

Michael and Dave talk to George Konidaris, assistant professor and director of the Intelligent Robot Lab at Brown University, about building generally intelligent robots, or anyway trying, and the importance of both embodiment and abstraction in artificial intelligence. [Title image courtesy of George Konidaris]…

Rutgers Professor Michael Lesk talks to Michael and Dave about everything from computing and information retrieval in the 1960s, to railroad signaling and recognizing giraffes, to the difference between astronomers and computer scientists, to Colonial Pipeline and the real AI challenge. [Title image courtesy of Mike Lesk]…