Software Unscripted

Casey Muratori talks with Richard about Casey's 2025 talk "The Big OOPs" about the history of Object-Oriented Programming, as well as performance, architecture, software quality, and plenty of other topics.

This episode is sponsored by mailtrap.io - modern email delivery for developers. Try Mailtrap for free: https://l.rw.rw/software_unscripted_6

Patreon supporters get ad-free episodes! https://www.patreon.com/SoftwareUnscripted/

- Casey's The Big OOPs Talk - https://youtu.be/wo84LFzx5nI?si=axXmxlBgJkzzE-uc

- Casey's Performance Aware Programming Course - https://www.computerenhance.com/i/99218768/performance-aware-programming-series

- Casey's Conway's Law Talk - https://www.youtube.com/watch?v=5IUj1EZwpJY

- Casey's "The Thirty Million Line Problem" Talk - https://youtu.be/kZRE7HIO3vk?si=vZSmEshgMmVZc2Qk

- Bjarne Stroustrup's Bell Labs Interview - https://youtu.be/69edOm889V4?si=fnTlTTIAEwRnwkq3

- Objective-C Creator Brad Cox interview - https://youtu.be/1xrL2d5omuA?si=1ncZJEzRmyQbyndh

- Richard's "Why isn't FP the Norm?" Talk - https://youtu.be/QyJZzq0v7Z4?si=f9oXRpi7oNbjhVDs

- Richard's "Why Static Typing Came Back" Talk - https://youtu.be/Tml94je2edk?si=by78GlVpNDakO6ys

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

Richard talks with Datastar creator Delaney Gillilan about fast functional reactive programming, how Datastar outcompetes more mainstream JavaScript libraries on performance, and how he designed it - including how Richard's book Elm in Action turned out to be one of its sources of inspiration.

This episode was sponsored by mailtrap.io - modern email delivery for developers. Try Mailtrap for free: https://l.rw.rw/software_unscripted_5

Patreon supporters get ad-free episodes! https://www.patreon.com/SoftwareUnscripted/

- Datastar: https://data-star.dev

- Elm in Action: https://www.manning.com/books/elm-in-action?utm_source=elm_in_action&utm_medium=affiliate&utm_campaign=book_rfeldman_elm_4_14_20&utm_content=number2

- Delaney and ClojureScript Lead David Nolen on Datastar: https://youtu.be/2ECucq-mTGg?si=v_4sB7vIEEDGpjm6

- Datastar experience report: https://youtu.be/8W6Lr1hRgXo?si=TAJU_wRirCYiZywm

- Benchmarking the same chat app in Next.js and Datastar: https://zweiundeins.gmbh/en/methodology/spa-vs-hypermedia-real-world-performance-under-load

- Real-Time Collaboration with Datastar: https://vimeo.com/1124980036

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

Richard talks with TigerBeetle founder Joran Greef about how their team's database achieved a wildly successful Jepsen Report. Where other databases have been famously skewered in the past, TigerBeetle passed with flying colors, and Richard and Joran discuss the story of how they got there, how TigerBeetle makes money when their database is open source, and many other topics around software quality in general.

This episode was sponsored by mailtrap.io - modern email delivery for developers. Try Mailtrap for free: https://l.rw.rw/software_unscripted_4

Patreon supporters get ad-free episodes! https://www.patreon.com/SoftwareUnscripted/

• TigerBeetle's Jepsen Report - https://tigerbeetle.com/blog/2025-06-06-fuzzer-blind-spots-meet-jepsen/
• MongoDB's 2020 Jepsen Report - https://jepsen.io/analyses/mongodb-4.2.6
• Zig - https://ziglang.org/
• TigerStyle software development methodology - https://tigerstyle.dev/
• Deterministic Simulation Testing (DST) - https://antithesis.com/docs/resources/deterministic_simulation_testing/
• Antithesis - https://antithesis.com/

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

Richard talks with AI expert Shawn "swyx" Wang about all sorts of AI topics, including how it fits into IDEs, AI agent implementations, the economics of AI subscriptions, the future of AI in software, and how all of this affects software quality.

This episode was sponsored by mailtrap.io - modern email delivery for developers. Try Mailtrap for free: https://l.rw.rw/software_unscripted_3

Patreon supporters get ad-free episodes! https://patreon.com/SoftwareUnscripted

• Shawn's Latent Space Podcast - https://www.latent.space/podcast
• AI Engineer Conference Series - https://www.ai.engineer/
• RAG - https://en.wikipedia.org/wiki/Retriev...
• Shawn's "WTF Happened in 2025?" site - https://wtfhappened2025.com/
• Radiologist shortage - https://finance.yahoo.com/sectors/hea... Intro – LLM psychosis & the Ilya Sutskever story

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

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 Science education is now changing from the perspective of someone who's been teaching it for years.

This episode was sponsored by mailtrap.io - modern email delivery for developers. Try Mailtrap for free: https://l.rw.rw/software_unscripted_2

Patreon supporters get ad-free episodes! https://www.patreon.com/SoftwareUnscripted

- HTMX - https://htmx.org/

- Version 2 → Version 4 announcement https://htmx.org/essays/the-fetchening/

- Shoutout to other htmx contributors: https://github.com/bencroker https://github.com/benpate https://github.com/alexpetros https://github.com/Telroshan https://github.com/MichaelWest22

- Carson's hardware course - https://github.com/msu/csci-366-spring2025/blob/main/SYLLABUS.md

- Big Sky Dev Conf - https://bigskydevconf.com/

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

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 sharing code across platforms, how LLMs have affected both the project and his love of coding, his thoughts on AI ethics, and more.

This episode was sponsored by mailtrap.io - modern email delivery for developers. Try Mailtrap for free: https://l.rw.rw/software_unscripted_1

Patreon supporters get ad-free episodes! https://www.patreon.com/SoftwareUnscripted

- Ghostty nonprofit announcement - https://mitchellh.com/writing/ghostty-non-profit

- Zig programming language - https://ziglang.org

- Roc programming language - https://www.roc-lang.org

- Zed's Windows 95-inspired launch site - https://www.windowswen.com

- Amp Code - https://ampcode.com

- Wispr Flow - https://wisprflow.ai

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

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://www.erlang.org

- Elixir Language - https://elixir-lang.org

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

- Hadoukenify https://github.com/reibitto/hadoukenify - presumably based on https://twitter.com/dr4goonis/status/476617165463105536

- "Let-generalization: Let's not?" by Ayaz Hafiz - https://github.com/roc-lang/rfcs/blob/e4f05480ed96136395bb466bf5c241e42100bf66/0010-let-generalization-lets-not.md

- "Let Should Not Be Generalised" by Simon Peyton Jones, Dimitrios Vytiniotis, and Tom Schrijvers - https://simon.peytonjones.org/let-generalised/

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

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 other topics like property-based testing, theorem proving, and Smalltalk.

You can get ad-free episodes (including video) by supporting Software Unscripted on Patreon! https://www.patreon.com/SoftwareUnscripted

The Best New Programming Language is a Proof Assistant by Harry Goldstein - https://youtu.be/c5LOYzZx-0c?si=UnTfkczIhdoF7Qkx

The Lean Programming Language - https://lean-lang.org

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey - https://youtu.be/re96UgMk6GQ?si=8xqpAS8VTQaqgbzg

"Shen: A Sufficiently Advanced Lisp" by Aditya Siram - https://youtu.be/lMcRBdSdO_U?si=VOwJNeLAvnIRUm_n

Hypothesis Property-Based Testing library for Python - https://hypothesis.works/

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

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 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 Nystrom - https://journal.stuffwithstuff.com/2015/02/01/what-color-is-your-function/

- "Asynchrony is not Concurrency" by Loris Cro - https://kristoff.it/blog/asynchrony-is-not-concurrency/

- "Data alignment for speed: myth or reality?" by Daniel Lemire - https://lemire.me/blog/2012/05/31/data-alignment-for-speed-myth-or-reality/

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