The Pragmatic Engineer

Mitchell Hashimoto’s new way of writing code


Listen Later

Brought to You By:

Statsig — ⁠ The unified platform for flags, analytics, experiments, and more.

Sonar – The makers of SonarQube, the industry standard for automated code review

WorkOS – Everything you need to make your app enterprise ready.

How has the day-to-day workflow of Mitchell Hashimoto changed, thanks to AI tools?

Mitchell Hashimoto is one of the most influential infrastructure engineers of our time, and is one of the most pragmatic builders I’ve met. He is the co-founder of HashiCorp and creator of Ghostty. In this episode, we talk about how he got into software engineering, the history of HashiCorp, and the challenges of turning widely used open-source tools into a durable business. We also go into what it’s really like to work with AWS, Azure and GCP as a startup.

Mitchell shares how he uses AI these days, and how agents have completely changed how he works. We touch on Ghostty, open source, and what’s changing for software engineers and founders in an AI-native era.

Timestamps

(00:00) Intro

(02:03) Mitchell’s path into software engineering

(07:19) The origins of HashiCorp

(15:52) Early cloud computing

(18:22) The 2010s startup scene in SF

(23:11) Funding HashiCorp

(25:23) The Hashi stack

(32:33) Why HashiCorp’s business lagged behind its technology

(35:28) An early failure in commercialization

(38:28) The open-core pivot and path to enterprise profitability

(48:08) Taking HashiCorp public

(51:58) The near VMware acquisition

(59:10) Mitchell’s take on all the cloud providers

(1:06:02) AI’s impact on open source

(1:07:00) Why Mitchell built Ghostty

(1:09:11) Why Mitchell used Zig

(1:10:38) How terminals work and Ghostty’s approach

(1:17:31) AI’s impact on terminals and libghostty

(1:19:13) How Mitchell uses AI

(1:22:02) Ghostty’s evolving AI use policy

(1:28:36) Why open source must change

(1:31:46) The problem of Git in monorepos

(1:36:22) What needs to change to work effectively with AI

(1:39:57) Mitchell’s hiring practices

(1:47:52) Mitchell’s AI adoption journey

(1:50:41) Advice to would-be founders

(1:52:21) Mitchell’s advising work

(1:53:20) What’s changing for software engineers

(1:55:03) How Mitchell recharges

(1:55:50) Book recommendation

The Pragmatic Engineer deepdives relevant for this episode:

AI Engineering in the real world

The AI Engineering stack

Pressure on commercial open source to make more money – and HashiCorp changing its license

How Linux is built with Greg Kroah-Hartman

Production and marketing by ⁠⁠⁠⁠⁠⁠⁠⁠https://penname.co/⁠⁠⁠⁠⁠⁠⁠⁠. For inquiries about sponsoring the podcast, email [email protected].



Get full access to The Pragmatic Engineer at newsletter.pragmaticengineer.com/subscribe
...more
View all episodesView all episodes
Download on the App Store

The Pragmatic EngineerBy Gergely Orosz

  • 5
  • 5
  • 5
  • 5
  • 5

5

68 ratings


More shows like The Pragmatic Engineer

View all
The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

288 Listeners

The a16z Show by Andreessen Horowitz

The a16z Show

1,103 Listeners

Decoder with Nilay Patel by The Verge

Decoder with Nilay Patel

3,151 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

627 Listeners

Talk Python To Me by Michael Kennedy

Talk Python To Me

583 Listeners

Y Combinator Startup Podcast by Y Combinator

Y Combinator Startup Podcast

234 Listeners

Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

Syntax - Tasty Web Development Treats

990 Listeners

Practical AI by Practical AI LLC

Practical AI

215 Listeners

Google DeepMind: The Podcast by Hannah Fry

Google DeepMind: The Podcast

201 Listeners

Last Week in AI by Skynet Today

Last Week in AI

314 Listeners

Machine Learning Street Talk (MLST) by Machine Learning Street Talk (MLST)

Machine Learning Street Talk (MLST)

99 Listeners

Dwarkesh Podcast by Dwarkesh Patel

Dwarkesh Podcast

560 Listeners

Big Technology Podcast by Alex Kantrowitz

Big Technology Podcast

513 Listeners

Latent Space: The AI Engineer Podcast by Latent.Space

Latent Space: The AI Engineer Podcast

100 Listeners

AI + a16z by a16z

AI + a16z

32 Listeners