Software Unscripted

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.