Podcast
Software Unscripted
Hosted by Richard Feldman · EN
Software Unscripted, A weekly podcast of casual conversations about code hosted by Richard Feldman.
Hosted on Acast. See acast.com/privacy for more information.
13episodes
Episodes
Newest firstAll episodes
AI & Software Quality with Shawn Wang (aka swyx)
May 901:28:43Tap to summarizeRichard 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_3Patreon supporters get ad-free episodes! https://patreon.com/SoftwareUnscriptedShawn'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.
Transcribe →
HTMX Creator Carson Gross on Comp Sci's Evolution
Apr 101:27:43Tap to summarizeHTMX 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_2Patreon 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.
Transcribe →
How Mitchell Hashimoto Builds Ghostty
Feb 1701:03:49Tap to summarizeGhostty 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_1Patreon 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.
Transcribe →Gleam's Design and Compiler - with creator Louis Pilfold
Jan 1001:11:13Tap to summarizeGleam 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.
Transcribe →Metaprogramming Your IDE in Lean 4 with Harry Goldstein
Dec 2100:41:18Tap to summarizeHarry 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/SoftwareUnscriptedThe Best New Programming Language is a Proof Assistant by Harry Goldstein - https://youtu.be/c5LOYzZx-0c?si=UnTfkczIhdoF7QkxThe Lean Programming Language - https://lean-lang.orgSimon 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_nHypothesis Property-Based Testing library for Python - https://hypothesis.works/ Hosted on Acast. See acast.com/privacy for more information.
Transcribe →
Jonathan Blow on Programming Language Design
Nov 1501:41:42Tap to summarizeJonathan 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/IdpD5QIVOKQECS 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=Z5cqazo4QU7AibzBRoc Programming Language - https://roc-lang.orgCasey Muratori's "Performance-Aware Programming" Course - https://www.computerenhance.com/p/welcome-to-the-performance-awareFile 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/ConstCliff Click's Sea of Nodes Compiler IR - https://github.com/SeaOfNodes/Chapters00:00 The Programming Establishment02:04 Metaprogramming05:04 Compile-Time Execution08:05 Language Feature Interoperability10:53 Compile Time Execution27:52 Cross-Compiling and FFI31:04 Determinism in Programming35:07 Balancing Power and Safety40:11 Memory Safety vs. Performance50:15 The Evolution of Software Performance55:32 Performance Awareness01:03:56 Dependencies and Version Control01:14:54 Dependency Availability Risk01:18:42 Memory Management01:24:51 Sandboxing01:30:23 Operating Systems Hosted on Acast. See acast.com/privacy for more information.
Transcribe →
Zig Creator Andrew Kelley
Oct 901:49:14Tap to summarizeRichard 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.
Transcribe →
Securing Evolving Software with Noah Hall
Sep 2000:59:50Tap to summarizexz 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: https://en.wikipedia.org/wiki/HeartbleedNoah on GitHub https://github.com/eeue56 - Substack https://substack.com/@eeue56 - BlueSky https://bsky.app/profile/derw-lang.com Hosted on Acast. See acast.com/privacy for more information.
Transcribe →
Andreas Kling on Ladybird Browser, SerenityOS, and Powerlifting
Sep 101:20:08Tap to summarizeLadybird 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 5x5 - https://stronglifts.com/stronglifts-5x5/Starting Strength - https://startingstrength.com/ Hosted on Acast. See acast.com/privacy for more information.
Transcribe →
GPU Programming and Language Design with Chris Lattner
Jul 2501:18:49Tap to summarizeRichard 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 - https://www.modular.com/blog/democratizing-compute-part-1-deepseeks-impact-on-aiMojo https://www.modular.com/mojoRoc https://www.roc-lang.orgSoftware Unscripted episode with Futhark language creator https://pod.link/1602572955/episode/00564b1774ebe0e4225a630825ed3deeClaude 4 https://www.anthropic.com/news/claude-4 Hosted on Acast. See acast.com/privacy for more information.
Transcribe →