Software Unscripted

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.