Software Unscripted

How Mitchell Hashimoto Builds Ghostty

Tue, 17 Feb 2026 03:48:53 GMT

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's Design and Compiler - with creator Louis Pilfold

Sat, 10 Jan 2026 03:20:30 GMT

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.

Metaprogramming Your IDE in Lean 4 with Harry Goldstein

Sun, 21 Dec 2025 20:18:10 GMT

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 on Programming Language Design

Sat, 15 Nov 2025 21:28:14 GMT

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.

Zig Creator Andrew Kelley

Thu, 09 Oct 2025 21:12:10 GMT

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.

Securing Evolving Software with Noah Hall

Sat, 20 Sep 2025 23:02:27 GMT

xz vulnerability: https://en.wikipedia.org/wiki/XZ_Utils_backdoor

Spectre: https://en.wikipedia.org/wiki/Spectre_(security_vulnerability)

Meltdown: https://en.wikipedia.org/wiki/Meltdown_(security_vulnerability)

Heartbleed: https://en.wikipedia.org/wiki/Heartbleed

Noah 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.

Andreas Kling on Ladybird Browser, SerenityOS, and Powerlifting

Mon, 01 Sep 2025 13:18:13 GMT

Ladybird Browser - https://ladybird.org

SerenityOS - https://serenityos.org

Story of the man who used powerlifting to recover after falling off a roof https://startingstrength.com/articles/brian_jones_story.pdf

StrongLifts 5x5 - https://stronglifts.com/stronglifts-5x5/

Starting Strength - https://startingstrength.com/

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

GPU Programming and Language Design with Chris Lattner

Fri, 25 Jul 2025 12:57:35 GMT

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 - https://www.modular.com/blog/democratizing-compute-part-1-deepseeks-impact-on-ai
Mojo https://www.modular.com/mojo
Roc https://www.roc-lang.org
Software Unscripted episode with Futhark language creator https://pod.link/1602572955/episode/00564b1774ebe0e4225a630825ed3dee
Claude 4 https://www.anthropic.com/news/claude-4

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

Broken AI Discourse with Steve Klabnik

Fri, 04 Jul 2025 23:41:59 GMT

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 disappointed in the AI discourse" - https://steveklabnik.com/writing/i-am-disappointed-in-the-ai-discourse/

Deep dive into why Rust's compile times are slow: https://www.pingcap.com/blog/rust-compilation-model-calamity/

Y Combinator partners on "100x productivity" claims: https://www.youtube.com/watch?v=IACHfKmZMr8&t=155s

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

Language Design Deep Dive with Elixir Creator José Valim

Sun, 01 Jun 2025 04:32:37 GMT

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

- Unison's algebraic effects: https://www.unison-lang.org/docs/fundamentals/abilities/

- Koka's algebraic effects: https://koka-lang.github.io/koka/doc/book.html#why-effects

- OCaml's algebraic effects: https://ocaml.org/manual/5.3/effects.html

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

From Scala to Roc with Monica McGuigan

Mon, 27 Jan 2025 18:00:00 GMT

Monica McGuigan, a Scala programmer at JP Morgan, talks with Richard about her experiences learning Roc with a Scala background. They get into topics like how language design affects beginners and experts, what parts of functional programming are easier and harder to learn than others, and how language designers inform their design decisions.

Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted

Monica's chapter on JSON decoders: https://github.com/roc-lang/book-of-examples/pull/68

Grapheme clusters: https://unicode.org/glossary/#extended_grapheme_cluster

Roc's string operations: https://www.roc-lang.org/builtins/Str

Talk: The Functional Purity Inference Plan: https://youtu.be/42TUAKhzlRI?si=TwxYoqMgh0UXQLfn

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

Testing in Production with Mike Bryzek

Sun, 05 Jan 2025 13:07:18 GMT

Mike Bryzek has been a technical cofounder of two very successful companies using some very unorthodox technical strategies that have worked out very well for him and his teams! These include testing in production, spending the first few months of a brand-new company's life investing in automation and tooling before shipping a product, and microservices - but not done in the way I've usually heard them described.

Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted

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

Building Video Editing Software with Andrew Lisowski

Mon, 16 Dec 2024 02:32:07 GMT

Richard talks with Andrew Lisowski, a Senior Engineer at Descript - which makes audio and video editing software that has been used to edit this very podcast! They talk about some of the surprising challenges of dealing with video editing compared to audio alone, the economics of niche podcasts and programming conferences, and the evolution of Web browsers!

Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted

Descript: https://www.descript.com

Andrew Lisowski: https://www.hipstersmoothie.com

devtools.fm episode that was on HN frontpage: https://news.ycombinator.com/item?id=41301639

Zencastr: https://zencastr.com/?via=richard-feldman

Forced Aligners: https://github.com/MahmoudAshraf97/ctc-forced-aligner

Gentle Aligner: https://github.com/lowerquality/gentle

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

The EYG Language with Peter Saxton

Sun, 17 Nov 2024 05:13:55 GMT

Richard talks with Peter Saxton, creator of the EYG programming language, about the problems Peter aims to solve with EYG, and some of the unique design decisions he's made with it. A type-safe eval() operation even comes up in the discussion!

Support Software Unscripted on Patreon: https://patreon.com/SoftwareUnscripted

EYG: https://eyg.run

Unison: https://unison-lang.org

Roc: https://roc-lang.org

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

AI in Programming Education with Will Sentance

Wed, 16 Oct 2024 03:55:47 GMT

Richard talks with Will Sentance, the teacher of the Hard Parts series and the founder and CEO of CodeSmith, which is a Software Engineering and AI immersive education program. They talk about how AI is intersecting with modern programming education, what's considered "fundamentals" these days, and how Will thinks about teaching object-oriented and functional programming.

Support Software Unscripted on Patreon: https://www.patreon.com/SoftwareUnscripted

JavaScript: The Hard Parts: https://frontendmasters.com/courses/javascript-hard-parts-v2/

AI for Software Engineers: https://frontendmasters.com/workshops/engineering-and-ai/

CodeSmith: https://www.codesmith.io/

Richard's courses: https://frontendmasters.com/teachers/richard-feldman/#courses

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

Software for Elite Athletes with Kyle Boddy

Thu, 26 Sep 2024 09:00:01 GMT

Richard talks with Kyle Boddy about the biomechanical and data analysis software Kyle wrote—and continues to write—as the founder and CTO of Driveline Baseball, a data-driven player development company that has landed numerous players in Major League Baseball, including multiple Most Valuable Players and 2024's number one draft pick. They talk about Kyle's background in PHP and the C++ he wrote to coordinate budget high-speed cameras back when Driveline was a one-programmer garage shop, up through today where large language models have become an integral part of the development team's daily work.

Driveline Baseball: https://www.drivelinebaseball.com/

Washington Post article: https://www.washingtonpost.com/opinions/2024/04/10/op-moneyballai/

Documentary about Driveline: https://youtu.be/K5Dnshu7atU

Phind AI: https://www.phind.com

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

Mojo with Chris Lattner

Fri, 30 Aug 2024 22:09:42 GMT

For the 100th episode of Software Unscripted, Richard talks with Chris Lattner, creator of Swift, the Clang C++ compiler, LLVM, and now the Mojo programming language, about Mojo, Roc, API design, compiler optimizations, and language design!

"Swift for C++ Practitioners" by Doug Gregor - https://www.douggregor.net/posts/swift-for-cxx-practitioners-value-types/

Mojo - https://www.modular.com/mojo

Modular Computing - https://www.modular.com

Roc - https://roc-lang.org

LLVM - https://llvm.org

Clang - https://clang.llvm.org

Swift - https://www.swift.org

CUDA - https://developer.nvidia.com/cuda-zone

SIMD - https://en.wikipedia.org/wiki/Single_instructionmultipledata

cmov instruction - https://github.com/marcin-osowski/cmov

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

Tooling-Aware Language Design with Eli Dowling

Wed, 21 Aug 2024 09:00:20 GMT

Richard talks with Eli Dowling about his contributions to the Roc programming language, as well as the intersection of language design and editor tooling, parsers that recover from errors, tree-sitter, going beyond the language server protocol, and the downsides of macros.

Perceus paper - https://www.microsoft.com/en-us/research/uploads/prod/2020/11/perceus-tr-v1.pdf

The Koka Programming Language - https://koka-lang.github.io

"The Quicksort Talk" (Outperforming Imperative with Pure Functional Languages) - https://youtu.be/vzfy4EKwG_Y

Tree-Sitter - https://tree-sitter.github.io

Neovim Editor - https://neovim.io

Helix Editor - https://helix-editor.com

Zed Editor - https://zed.dev

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

Hygienic Macros - https://en.wikipedia.org/wiki/Hygienic_macro

Rust Macros - https://doc.rust-lang.org/book/ch19-06-macros.html

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

The CrowdStrike Incident with Kelly Shortridge

Sun, 11 Aug 2024 17:11:20 GMT

Richard talks with Kelly Shortridge about the CrowdStrike Incident that caused many computers worldwide to get stuck in a boot loop on July 19, 2024.

A video version of this episode is available on YouTube at https://www.youtube.com/watch?v=rzjaZssBEiI or ad-free to our wonderful Patreon supporters! https://www.patreon.com/posts/109888395

The incident: https://en.wikipedia.org/wiki/2024_CrowdStrike_incident

Kelly Shortridge: https://www.kellyshortridge.com

Kelly's book: https://securitychaoseng.com

Hillel Wayne's interviews with traditional engineers who have also been software engineers: https://www.hillelwayne.com/talks/crossover-project

Gell-Mann amnesia effect: https://en.wikipedia.org/wiki/Michael_Crichton#Gell-Mann_amnesia_effect

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

Distributed Functions with Jonathan Magen

Thu, 18 Jul 2024 09:05:59 GMT

Richard talks with distributed systems scientist Jonathen Magen about functional programming in distributed systems, including languages like Gleam, Elixir, Ballerina, and Jolie. They also talk about type inference, big data, and a few other topics.

Jonathan Magen: https://yonkeltron.com or https://jawns.club/@yonkeltron

Programming languages mentioned:

https://ballerina.io

https://www.jolie-lang.org

https://gleam.run

https://elixir-lang.org

Richard's talk: Why Static Typing Came Back - https://youtu.be/Tml94je2edk

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

Undo-Redo and Persistent State with Tom Ballinger

Fri, 12 Jul 2024 04:46:25 GMT

Richard talks with Tom Ballinger about undo and redo in the context of REPLs and running effects, stateful systems in general, hot code loading, and database query planning.

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

Smalltalk's Past, Present, and Future with Juan Vuletich

Mon, 24 Jun 2024 02:01:38 GMT

Richard talks with Juan Vuletich, creator of Cuis Smalltalk, about the past, present and future of Smalltalk - including quite a bit of interesting history and programming philosophy!

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

From Game Dev to Web Dev

Sun, 16 Jun 2024 22:44:37 GMT

Richard talks with Wolfgang Schuster about his experiences first as a professional game developer, and then later as a professional Web developer. Theytalk about the differences in programming practices he's seen between the two, including things like automated testing, dependency management, and releases.

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

Fuzz Testing with Brendan Hansknecht

Tue, 04 Jun 2024 00:22:44 GMT

Richard talks with Brendan Hansknecht, an AI compiler engineer at Modular, about various testing techniques, including fuzzing, property-based tests, database tests, tests involving network requests, and more!

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

A Haskeller Tries Smalltalk with Ian Jeffries

Sat, 25 May 2024 16:32:02 GMT

Richard talks with Ian Jeffries about his experiences as a Haskeller exploring modern Smalltalk (arguably the original object-oriented programming language), including both the historical context of where Smalltalk came from as well as what it's like using it in a modern context.

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

Comparing F#, Elm, and Haskell with Michael Newton

Mon, 13 May 2024 12:46:00 GMT

Richard talks to Michael Newton, a programmer working as a consultant and trainer who has used several different functional programming languages in professional settings. They talk about the differences Michael has found between using F sharp, Haskell, and Elm, and especially how those differences apply in the context of professional production programming.

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

Native UIs without Electron - with Nathan Sobo

Sat, 04 May 2024 01:15:00 GMT

Richard talks with Nathan Sobo, founder of Zed Industries (which creates the high-performance Zed code editor) about his time as an early developer on the Atom code editor, including how that project led to Electron. They then discuss how the Zed team has created GPUI, which uses native operating system APIs for events and goes straight to the graphics card for rendering.

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

Compiling Smart Contracts with Lucas Rosa

Sun, 21 Apr 2024 22:39:00 GMT

Richard talks with Lucas Rosa, a compiler engineer working on the Aiken programming language for smart contracts, about tradeoffs in language and compiler design, property-based testing, syntax and familiarity, and compile-time evaluation of constants.

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

Gleam 1.0 with Louis Pilfold

Tue, 02 Apr 2024 23:51:00 GMT

Richard talks with Louis Pilfold, creator of the Gleam programming language, about the language's 1.0 release, as well as other topics like backwards compatibility, hot-swapping code in production, and implementing a typed version of Erlang's famous OTP system, which had also been famously considered to be un-typeable.

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

Compilers and Overly Complex Web Development with Thorsten Ball

Sun, 17 Mar 2024 18:21:00 GMT

Richard talks to Thorsten Ball, a programmer at Zed Industries and author of two books on compilers. They start out talking about the differences between compilers and interpreters, what the trickiest parts are of teaching compilers, and then end up talking about the unnecessary complexity that has taken over modern Web Development.

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

Incremental Compilation with Alex Kladov

Sun, 03 Mar 2024 13:21:00 GMT

Richard talks with Rust Analyzer creator Alex Kladov (aka matklad) about compilers, including ways they can do incremental compilation, memory management strategies, modules and boundaries, and even monomorphization!

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

Programming and Industrial Design with Greg Wilson

Wed, 14 Feb 2024 02:13:00 GMT

Richard talks with programming teacher Greg Wilson about different types of beginner programmers and how they learn most effectively, what counterintuitive aspects of programming languages they tend to find more or less difficult to learn, and about the surprising relationship between software architecture and industrial design.

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

Pure Functional Programming in C with Ryan Fleury

Wed, 07 Feb 2024 10:00:00 GMT

Richard talks with RAD Game Tools Debugger programmer Ryan Fleury, about memory management in debugging, caching, operator overloading, and pure functional programming in...C?!

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

Lambda Set Defunctionalization with Ayaz Hafiz

Thu, 25 Jan 2024 23:45:00 GMT

Richard talks with Ayaz Hafiz, a contributor to the Roc programming language, about a very specific topic in the Roc compiler, namely lambda set defunctionalization (including explaining what that term actually means). They then zoom out to talk about why more languages don't try to implement techniques like this in general.

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

Implementing Databases with Glauber Costa

Tue, 23 Jan 2024 10:00:00 GMT

Richard talks with Glauber Costa about how to implement databases that can do millions of reads per second, how hardware changes have affected the tradeoffs around relational and NoSQL databsaes, and what people mean by Big Data.

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

The Return of Hypermedia with Carson Gross

Mon, 15 Jan 2024 19:35:00 GMT

Richard talks with HTMX creator Carson Gross about some of the ways in which modern web development has arguably regressed over the past 15 or so years, as well as Hypertext, Hypermedia, HyperCard, HyperView, HyperScript, and even some other topics that don't have hyper in the name.

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

Go and Functional Programming with Lane Wagner

Sat, 06 Jan 2024 03:36:00 GMT

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

The Roc Programming Language with Richard Feldman

Fri, 29 Dec 2023 20:43:00 GMT

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

Making JITted Code Faster with Chris Nuernberger

Sun, 10 Dec 2023 00:30:00 GMT

Richard talks with Chris Nuernberger about his experiences making code run faster in the context of the Java Virtual Machine (JVM) and the similarities and differences between that and trying to make C++ code faster...among several other topics!

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

Things Web Devs Can Learn from Game Devs with Casey Muratori

Fri, 01 Dec 2023 21:38:00 GMT

Richard talks with Casey Muratori, a game engine programmer who's known for creating the term Immediate Mode GUIs, for his Twitch series Handmade Hero, and most recently for his excellent Performance Aware Programming course. They talk about performance and the programming culture around it, how memory safety relates to progarm architecture, what Web development can learn from game development, and even some concrete improvements that could be made to, you guessed it...CSS!

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

How Programming has Changed with Conor Hoekstra

Sun, 26 Nov 2023 02:00:00 GMT

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

Escaping Software Disenchantment with Nikita Prokopov

Sat, 18 Nov 2023 02:21:00 GMT

Richard talks with Nikita Prokopov, an open-source Clojure developer and creator of the Fira Code typeface, about some of the reasons he'd felt a sense of disenchantment with the direction of software in the past, and strategies he's developed for improving things in the future.

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

WebAssembly in Practice with Brian Carroll

Mon, 06 Nov 2023 02:53:00 GMT

Richard talks with Brian Carroll about his experience using WebAssembly in practice - including some of the benefits and challenges of using WebAssembly in practice, why WebAssembly adoption might not be as high as it could be today, and speculation about what the future might hold for it.

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

Disassembling Languages with Matt Godbolt

Sun, 22 Oct 2023 14:41:00 GMT

Richard talks with Matt Godbolt, author of the godbolt.org Compiler Explorer, about how certain aspects of the Compiler Explorer work, as well as "disassembling" language designs themselves - talking about reference counting optimizations, destructors and unwinding, and even defending the infamous design decision of NaN != NaN.

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

Designing Compilers for Speed with Troels Henriksen

Fri, 13 Oct 2023 02:59:00 GMT

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

Gradual vs Static Typing with José Valim

Thu, 21 Sep 2023 13:24:00 GMT

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

The SemVer Rabbit Hole with Predrag Gruevski

Tue, 12 Sep 2023 00:55:00 GMT

Richard talks with Predrag Gruevski, author of the cargo-semver-checks tool for detecting accidental semantic versioning mistakes in Rust packages, as well as Trustfall, which is an incredibly flexible query engine. They talk about why semantic versioning is so especially tricky to get right in Rust, tradeoffs in different package managers' approaches to semver in general, and how his work on cargo-semver-checks motivated him to create a tool for querying data in just about any format.

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

Type System Complexity with Chris Krycho

Thu, 07 Sep 2023 01:48:00 GMT

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

Making Parsing I/O Bound with Daniel Lemire

Thu, 17 Aug 2023 13:07:00 GMT

Richard talks to Daniel Lemire about his work on simdjson, arguably the fastest JSON parser in the world. They also talk about parsing performance in other contexts, benchmarking, NodeJS string representations, and textbook approaches to performance versus real-world experimentation.

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

Niche Domain Knowledge with Ashley Williams

Tue, 08 Aug 2023 22:47:00 GMT

Richard talks with former Rust core team member Ashley Williams, aka ag_dubs,, about various different types of niche domain knowledge - from CSS tricks in web development to low-level systems programming, package managers, and even organization-specific domain knowledge.

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

Building a Terminal in Zig and Swift with Mitchell Hashimoto

Wed, 19 Jul 2023 02:25:00 GMT

Richard talks with HashiCorp cofounder Mitchell Hashimoto about a side project of his: a high-performance terminal emulator that he wrote using Zig and Swift, and which has become his daily driver terminal.

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

React Hooks Design Review

Tue, 11 Jul 2023 09:00:00 GMT

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

Thinking in Array Languages with Alex Shroyer

Wed, 05 Jul 2023 00:23:00 GMT

Richard talks to to Alex Shroyer about his unusually extensive experiences with Array Languages like APL and J - where they come from, how they have more to offer than just extreme conciseness, and what feature creep looks like in a language that's mostly symbols.Links to Alex's website and more info about array languages:alexshroyer.comhttps://nsl.com/https://vector.org.uk/https://github.com/interregna/arraylanguage-companieshttps://tryapl.org/https://bqnpad.mechanize.systems/https://www.arraycast.com/https://aplwiki.com/wiki/APL_Farmhttps://discord.com/invite/yHna7nt7zx

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

My Contribution to the Left-Pad Incident with Simon Lydell

Tue, 27 Jun 2023 23:48:00 GMT

Richard talks with Simon Lydell, a programmer whose open-source JavaScript work ended up contributing to what might be the most infamous package-related outage in programming history. In addition to talking about that story, they also talk about open source in general, breaking changes in general, and specific projects like CoffeeScript, Prettier, Elm, and Roc.

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

Comparing Haskell to R with Will Kurt

Tue, 20 Jun 2023 09:00:00 GMT

Richard talks to Will Kurt, an AI Engineer at Hex as well as the author of both the countbayesie.com blog as well as the book Get Programming with Haskell, from Manning Publications. They talk about the book, about Haskell in general, and end up comparing Haskell to R, as well as type systems and artificial intelligence!

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

Defunctionalization in a Functional Language with Ayaz Hafiz

Wed, 24 May 2023 01:09:00 GMT

Richard talks to Ayaz Hafiz about his work on the Roc programming language. They discuss behind-the-scenes compiler details like implementing ad-hoc polymorphism and defunctionalization using lambda sets. Along the way they get into how these implementation details interact with design of the language, and the experience of using the language.

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

Linking & Binary Hot Code Loading with Jakub Konka

Sun, 14 May 2023 00:31:00 GMT

Richard talks to Jakub Konka, a programmer who works on the Zig programming language. They talk about the low-level systems programming involved in Jacob's work on Zig and other projects, including things like disassembling binaries, hot code loading in a systems language, writing a linker from scratch, and testing machine code without access to the actual hardware - or even an emulator!

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

From Bootcamp to Teaching Masters' Comp Sci

Thu, 04 May 2023 11:50:00 GMT

Richard talks to Chelsea Troy, a programmer working at Mozilla who has a side gig teaching Masters' Computer Science students at the University of Chicago. This is highly unusual, considering she does not have a computer science degree! They talk about how she landed that job, including how the interview process differs from industry interviews, among other topics.

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

Syntax and the Future of Programming with Josh Warner

Thu, 27 Apr 2023 03:58:00 GMT

Richard talks with Josh Warner, who has been working on making improvements to the Roc programming language, particularly around the parser and formatter. They start out talking about syntax and code formatting, but after some plot twists, the conversation ends up on AI and the future of programming itself!

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

Growing Programming Communities with Ryan Haskell-Glatz

Fri, 21 Apr 2023 19:22:00 GMT

Richard talks with Ryan Haskell-Glatz, author of the open-source Elm projects elm-spa and Elm Land. They get into things like new user onboarding experiences, framework churn, and dynamics between authors and users in open-source communities.

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

AI Tools Today

Wed, 12 Apr 2023 12:13:00 GMT

Richard talks to Stachu Koric about the Dark programming language's shift to being a programming language built around AI, as well as their own personal experiences so far exploring chatGPT, Copilot, and other emerging AI tools.

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

From Erlang to Management to C++

Tue, 04 Apr 2023 09:00:00 GMT

Dizzy Smith talks with Richard about his career path from C++ to Erlang to Management and now back to C++. Along the way, they talk about package management and several other languages - including Go, Rust, JavaScript, and even Perl.

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

Conditional Cardinality with Joël Quenneville

Tue, 28 Mar 2023 09:00:00 GMT

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

Speeding up Rust's Compiler

Wed, 15 Mar 2023 09:00:00 GMT

Richard talks with Nicholas Nethercote, a member of the Rust programming language's Performance Working Group and author of the Rust Performance Book. They discuss how he and others have worked to speed up Rust's compiler, different strategies for speeding up compilers in general, and how compiler performance fits into the working dynamic of Rust's ecosystem of contributors.

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

Evolutionary vs Revolutionary Languages with James Ward

Tue, 28 Feb 2023 10:00:00 GMT

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

The Rust + Elm Stack

Mon, 20 Feb 2023 10:00:00 GMT

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

The Monolith-Microservices Spectrum

Mon, 13 Feb 2023 10:00:00 GMT

Richard talks with Ashley Davis, author of the book Bootstrapping Microservices, about their differing perspectives on microservices, monoliths, and everything in between! Ashley is also the author of Rapid Fullstack Development, available at https://rapidfullstackdevelopment.com

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

Swift and Unicode API Design with Rob Napier

Mon, 06 Feb 2023 10:00:00 GMT

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

Haskell and Clojure in Production with Eric Normand

Mon, 30 Jan 2023 10:00:00 GMT

Richard talks to Eric Normand about his experiences using both Haskell and Clojure in production, and his perspectives on comparing and contrasting the approaches of the two languages.Eric hosts a podcast (https://ericnormand.me/podcast) and you can use code podsoftunsc22 at checkout to get a discount on his book Grokking Simplicity: https://www.manning.com/books/grokking-simplicity

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

F# in Production with Scott Wlaschin

Mon, 16 Jan 2023 10:00:00 GMT

Richard talks with Scott Wlaschin, author of the book Domain Modeling Made Functional and the website F# for Fun and Profit, about using F# in production and the minimal essence of functional programming.

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

Scratch-Building an Operating System with Steve Klabnik

Mon, 16 Jan 2023 10:00:00 GMT

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

Scaling Slack's Infrastructure

Mon, 09 Jan 2023 10:00:00 GMT

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

Bootstrapping a Compiler via WASM with Loris Cro

Mon, 26 Dec 2022 10:00:00 GMT

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

Technical Empathy with Andrea Goulet

Mon, 12 Dec 2022 16:36:00 GMT

Richard talks with Andrea Goulet, a programmer at Corgibytes and coauthor of the book Empathy-Driven Software Development published by Pearson. They talk about the surprising interactions between technology and empathy, including how empathy for other programmers can lead to not only better interactions with other programmers, but even better understanding of the technology itself.

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

Embracing the Chaos with Jean Yang

Mon, 05 Dec 2022 10:00:00 GMT

Richard talks with Akita Software founder and former PhD Computer Science professor Jean Yang, about about her experiences in academia and in industry as a startup founder, and how different programmers think about guarantees - or lack thereof - in chaotic production systems

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

Are Functions Data? with Yehonathan Sharvit

Mon, 28 Nov 2022 10:00:00 GMT

Richard talks with Yehonathan Sharvit, author of the book Data Oriented Programming from Manning Publications, about data oriented programming, immutability, and whether functions should be considered data.

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

Derw with Noah Hall

Mon, 21 Nov 2022 10:00:00 GMT

Richard talks with Noah Hall, the creator of the Derw programming language, about backwards compatibility, tradeoffs in different styles of running open-source projects, and how languages evolve through risk-taking and experimentation.

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

Software Rituals with David Nolen

Mon, 14 Nov 2022 10:00:00 GMT

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

Accessibility in Practice with the Accessibilibats

Wed, 09 Nov 2022 10:00:00 GMT

Richard talks with the Accessibilibats, a team of three people working at NoRedInk to improve the accessibility of a product that's used by millions of people. The discussion focuses on their actual experiences in practice - what was surprising, what was challenging, and advice for the future.

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

Static Types in Elixir with José Valim

Mon, 31 Oct 2022 09:00:00 GMT

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

Building a Database with Joran Greef

Mon, 17 Oct 2022 09:00:00 GMT

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

Back to Basics in Production with Marc Grabanski

Mon, 10 Oct 2022 09:00:00 GMT

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

Type System Mythbusting with Alexis King

Mon, 03 Oct 2022 09:00:00 GMT

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

Building Chrome Dev Tools with Jack Franklin

Mon, 26 Sep 2022 12:00:00 GMT

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

The Compile-to-JS Smörgåsbord with Murphy Randle

Mon, 19 Sep 2022 09:00:00 GMT

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

Lamdera with Mario Rogic

Mon, 12 Sep 2022 09:00:00 GMT

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

Python and OO with Reuven Lerner

Mon, 05 Sep 2022 09:00:00 GMT

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

Hiring Functional Programmers with Kris Jenkins

Mon, 29 Aug 2022 09:00:00 GMT

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

Makepad with Rik Arends

Mon, 22 Aug 2022 09:00:00 GMT

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

Vim and Nix with Jasper Woudenberg

Mon, 15 Aug 2022 09:00:00 GMT

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

Teaching Haskell with Christoph Hermann

Thu, 11 Aug 2022 09:00:00 GMT

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

Literal Google Scale

Mon, 08 Aug 2022 09:00:00 GMT

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

Real-World Performance Optimization with Folkert de Vries

Thu, 28 Jul 2022 09:00:00 GMT

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

"Team Monolith" with Jonathan Magen

Tue, 19 Jul 2022 09:00:00 GMT

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

Open-Source Careers with Loris Cro

Wed, 13 Jul 2022 09:00:00 GMT

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

Functional Programming in Rust with Luke Westby

Thu, 30 Jun 2022 09:00:00 GMT

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

Jared Forsyth - From Web Development to Microcontrollers

Thu, 23 Jun 2022 09:00:00 GMT

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

Non-mainstream Programming with Gabriella Gonzalez

Thu, 16 Jun 2022 09:00:00 GMT

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

Gleam with Louis Pilfold

Fri, 10 Jun 2022 09:00:00 GMT

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

Functional and Object-Oriented Programming with Lindsay Wardell

Mon, 06 Jun 2022 13:56:00 GMT

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

Dark with Paul Biggar

Fri, 27 May 2022 09:00:00 GMT

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

Software Design with Dillon Kearns

Mon, 23 May 2022 09:00:00 GMT

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

Indie Game Dev

Wed, 11 May 2022 09:00:00 GMT

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

Change Management

Tue, 03 May 2022 09:00:00 GMT

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

The Unison Programming Language with Rúnar Bjarnason

Fri, 22 Apr 2022 19:05:00 GMT

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

Static Analysis with elm-review author Jeroen Engels

Fri, 15 Apr 2022 09:00:00 GMT

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

Crystal with Johannes Müller and creator Ary Borenszweig

Fri, 08 Apr 2022 09:00:00 GMT

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

Clickbait with Hillel Wayne

Fri, 01 Apr 2022 15:11:00 GMT

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

Crossing the Chasm

Fri, 25 Mar 2022 09:00:00 GMT

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

Open-Source with Zig creator Andrew Kelley

Tue, 15 Mar 2022 09:00:00 GMT

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

Database Apocalypse

Wed, 02 Mar 2022 10:00:00 GMT

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

Data Storytelling

Fri, 25 Feb 2022 09:55:00 GMT

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

Deployments

Tue, 08 Feb 2022 09:55:00 GMT

Richard Feldman discusses deployments with Will Keleher (ClassDojo), Juliano Solanho & Alec Munro (NoRedInk).( Full transcripts available at https://sites.google.com/noredink.com/podcast-transcriptions )

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

Interactive Style Guides

Wed, 02 Feb 2022 09:55:00 GMT

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

Teaching Functional Programming

Mon, 24 Jan 2022 09:55:00 GMT

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

Observability

Wed, 29 Dec 2021 10:00:00 GMT

Richard Feldman discusses observability with Jessica Kerr (honeycomb.io) and Juliano Solanho (NoRedInk).( Full transcripts available at https://sites.google.com/noredink.com/podcast-transcriptions )

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