Jonathan Blow on Programming Language Design

Jonathan Blow on Programming Language Design

Author: Richard Feldman November 16, 2025 Duration: 1:41:42

Jonathan Blow, creator of popular games Braid and The Witness, talks with Richard about programming language design - including the design of the programming language he's been building for game developers.


Keynote & Tech Demo - https://youtu.be/IdpD5QIVOKQ

ECS and Rust's Borrow Checker - https://youtu.be/4t1K66dMhWk

"The 30 Million Line Problem" - https://youtu.be/kZRE7HIO3vk

"A New Programming Language for Games" - https://youtu.be/TH9VCN6UkyQ?si=Z5cqazo4QU7AibzB

Roc Programming Language - https://roc-lang.org

Casey Muratori's "Performance-Aware Programming" Course - https://www.computerenhance.com/p/welcome-to-the-performance-aware

File Pilot File Explorer - https://filepilot.tech/

Ghostty Terminal - https://ghostty.org/

Language Server Protocol - https://microsoft.github.io/language-server-protocol/

WebAssembly Integer Sizes - https://developer.mozilla.org/en-US/docs/WebAssembly/Reference/Numeric/Const

Cliff Click's Sea of Nodes Compiler IR - https://github.com/SeaOfNodes/


Chapters

00:00 The Programming Establishment

02:04 Metaprogramming

05:04 Compile-Time Execution

08:05 Language Feature Interoperability

10:53 Compile Time Execution

27:52 Cross-Compiling and FFI

31:04 Determinism in Programming

35:07 Balancing Power and Safety

40:11 Memory Safety vs. Performance

50:15 The Evolution of Software Performance

55:32 Performance Awareness

01:03:56 Dependencies and Version Control

01:14:54 Dependency Availability Risk

01:18:42 Memory Management

01:24:51 Sandboxing

01:30:23 Operating Systems


Hosted on Acast. See acast.com/privacy for more information.


Richard Feldman hosts Software Unscripted, a weekly podcast that feels like pulling up a chair next to a fellow developer who’s seen it all. The conversations here are off-the-cuff and genuine, delving into the realities of writing code, navigating tech trends, and the often-unspoken challenges of building software. Rather than rigid interviews or dry lectures, each episode unfolds as a natural dialogue, exploring the intersection of technology, continuous learning, and the news shaping our digital tools. You’ll hear discussions that range from practical programming techniques and language debates to broader observations about the industry’s direction, all through a lens of lived experience. This isn't about polished presentations; it's about the authentic, sometimes messy, process of thinking through problems and sharing insights. For anyone who spends their days deep in logic and syntax, this podcast offers a relatable and thoughtful space to reflect on the craft. Tune in for a candid and engaging take on the world of software, one unscripted conversation at a time.
Author: Language: English Episodes: 100

Software Unscripted
Podcast Episodes
HTMX Creator Carson Gross on Comp Sci's Evolution [not-audio_url] [/not-audio_url]

Duration: 1:27:43
HTMX creator and Montana State University instructor Carson Gross talks to Richard about why HTMX moved from version 2 straight to version 4, API boundaries in library design, jQuery, and how the field of Computer Scienc…
How Mitchell Hashimoto Builds Ghostty [not-audio_url] [/not-audio_url]

Duration: 1:03:49
Ghostty creator and Hashicorp cofounder Mitchell Hashimoto talks with Richard about the development of that high-performance terminal emulator: how he's been building Ghostty, how he does native GUI development while sha…
Gleam's Design and Compiler - with creator Louis Pilfold [not-audio_url] [/not-audio_url]

Duration: 1:11:13
Gleam programming language creator Louis Pilfold talks with Richard about Gleam's design and various challenges that came up when implementing its compiler.- Gleam Language - https://gleam.run- Erlang Language - https://…
Metaprogramming Your IDE in Lean 4 with Harry Goldstein [not-audio_url] [/not-audio_url]

Duration: 41:18
Harry Goldstein talks with Richard Feldman about the Lean 4 programming language's compile-time metaprogramming capabilities, including how they can be used to control elements of your IDE in realtime. They also discuss…
Zig Creator Andrew Kelley [not-audio_url] [/not-audio_url]

Duration: 1:49:14
Richard talks with Zig Creator Andrew Kelley.- Support Zig - https://ziglang.org/zsf/- Zig's "Writergate" - https://ziglang.org/download/0.15.1/release-notes.html#Writergate- "What Color is Your Function?" by Robert Nyst…
Securing Evolving Software with Noah Hall [not-audio_url] [/not-audio_url]

Duration: 59:50
xz vulnerability: https://en.wikipedia.org/wiki/XZ_Utils_backdoorSpectre: https://en.wikipedia.org/wiki/Spectre_(security_vulnerability)Meltdown: https://en.wikipedia.org/wiki/Meltdown_(security_vulnerability)Heartbleed:…
Andreas Kling on Ladybird Browser, SerenityOS, and Powerlifting [not-audio_url] [/not-audio_url]

Duration: 1:20:08
Ladybird Browser - https://ladybird.orgSerenityOS - https://serenityos.orgStory of the man who used powerlifting to recover after falling off a roof https://startingstrength.com/articles/brian_jones_story.pdfStrongLifts…
GPU Programming and Language Design with Chris Lattner [not-audio_url] [/not-audio_url]

Duration: 1:18:49
Richard talks with Swift, LLVM, Clang, and Mojo creator Chris Lattner about programming on the GPU and on the CPU, as well as a number of programming language design topics.Chris's "Democratizing AI Compute" blog series…
Broken AI Discourse with Steve Klabnik [not-audio_url] [/not-audio_url]

Duration: 1:19:43
Longtime Rust contributor Steve Klabnik talks with Richard about the broken state of AI discourse, from excessive hype to excessive hate, and reasonable alternatives we could pursue instead.Steve's blog post: "I am disap…
Language Design Deep Dive with Elixir Creator José Valim [not-audio_url] [/not-audio_url]

Duration: 2:26:12
Elixir creator José Valim goes into a very deep dive on language design with Richard, centered around some upcoming major design changes to the Roc programming language.- https://elixir-lang.org- https://roc-lang.org- Un…