Software Unscripted

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.