Today we welcome Mitchell Hashimoto, co-founder of HashiCorp and creator of Ghostty, a new terminal emulator built in Zig. In this episode, Mitchell shares the story behind Ghostty, how his curiosity about terminals evolved into a full-fledged project, and why Zig became his language of choice.
We also dive into Ghostty’s unique features, the role of libghostty, and why Mitchell believes native-feeling apps are essential for developer experience. Plus, we explore his insights on computer science education, dynamic linking, and what really matters when learning to code.
If you’re into terminals, low-level programming, or just love hearing how great software gets built, this one’s for you!
Learn back-end development - https://www.boot.dev
Listen on your favorite podcast player - https://www.backendbanter.fm
Mitchell's X/Twitter: https://x.com/mitchellh
Ghostty: https://ghostty.org/
Timestamps:
00:00 - Intro and Meeting Mitchell
01:06 - Mitchell’s Journey at HashiCorp
03:13 - What is Ghostty and Why Build It?
08:35 - Native Performance and Zig’s Advantage
15:25 - Why Mitchell Chose Zig Over Rust
31:15 - Ghostty’s Road to Package Repositories
52:00 - Future Plans for Ghostty
1:04:02 - Where to Find Mitchell and Ghostty
Like & subscribe for the algo if you enjoyed the video!
Stuff You Should Know
If you've ever wanted to know about champagne, satanism, the Stonewall Uprising, chaos theory, LSD, El Nino, true crime and Rosa Parks, then look no further. Josh and Chuck have you covered.
Las Culturistas with Matt Rogers and Bowen Yang
Ding dong! Join your culture consultants, Matt Rogers and Bowen Yang, on an unforgettable journey into the beating heart of CULTURE. Alongside sizzling special guests, they GET INTO the hottest pop-culture moments of the day and the formative cultural experiences that turned them into Culturistas. Produced by the Big Money Players Network and iHeartRadio.
Dateline NBC
Current and classic episodes, featuring compelling true-crime mysteries, powerful documentaries and in-depth investigations. Follow now to get the latest episodes of Dateline NBC completely free, or subscribe to Dateline Premium for ad-free listening and exclusive bonus content: DatelinePremium.com