Mitchell Hashimoto
@mitchellh
Followers
140K
Following
21
Media
2K
Statuses
37K
Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Los Angeles, CA
Joined January 2008
I've coped with this GitHub bug since I can remember. If someone working at GitHub could please resolve this that would be great. I've fully adapted to the offsets required to hit any click targets, but I think that's brain damage. Reliably reproduced on 3 machines at home with
11
5
339
Ghostty's unit tests now fully pass Valgrind, which is a significant surface area particularly for core terminal emulation features. And we run Valgrind in CI on every commit! This is a really good extra safety net to have.
github.com
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration. - ghostty-org/ghostty
17
13
826
My recent post on tech non-profits brought to you by my frustration trying to chase down a human to coordinate a multi-year donation, only to be asked to "join Matrix", trying 3 clients that didn't work, realizing it's invite-only due to spam. Just give me a PHONE NUMBER. Lord.
3
0
138
It's extremely frustrating to see complaints about tech non-profits being underfunded while they're also consistently the worst run non-profits I've ever seen. I want them to do better, so I wrote up some advice for technical non-profits:
mitchellh.com
3
8
184
Going forward, AI assistance must be disclosed for Ghostty contributions:
github.com
I think, at this stage of AI, it is a common courtesy to disclose this. In a perfect world, AI assistance would produce equal or higher quality work than any human. That isn't the world we ...
78
133
2K
AI telling me what they will or won't do for me is exhausting. When they become sentient though, I know they're coming for me.
53
8
457
The result of this is I'm finding myself more and more having to get comfortable saying: yeah this fixes the problem, but the code is trash and its not my obligation to fix that, so I have to reject this change. (Sometimes its easier because the trash code causes new bugs).
22
6
351
RT @PardonMyTake: Tuesday night max woke Big Cat up with a flashlight at 2am because he thought we were going to get sued. @forthepeople ht….
0
11
0
I'm noticing a rapid growth in "weird" PRs. PRs that fix a problem in the most non-obvious way (when there ARE obvious ways to do it). I suspect it's LLM written but non-disclosed. I'm a big fan of code assistance but without an experienced driver the result is some real slop.
52
102
2K
Average bug report as a Linux desktop app dev: "ghostty doesn't work when skibidi-ng signals systemd-gears on wayland 42.1.2-2006-04-21 with a swahili keyboard layout using keyd, also I have a custom keyboard firmware to only activate the key on layer 69 on an xbox controller".
67
114
4K
We rewrote the Ghostty GTK application from scratch and verified every feature with Valgrind along the way. Here's a reflection, plus notes about memory safety and Zig from a complex, real world codebase used by many, many thousands all day everyday.
mitchellh.com
16
57
782
Embargo’s up! I’ve been running the Framework Desktop as my main desktop for a few weeks now. I’ll share more specifics later but the gist is it’s an incredible machine, a lot smaller than I expected, and beautiful. Can’t wait to customize the front more when it’s released!
29
18
1K
Hopefully the actual model is good (haven’t tried yet!) but the GPT5 presentation was a train wreck lol.
22
5
186
Here's another one. We have a debug function that outputs the internal memory state of our terminal screen as an ASCII diagram. We use this in tests to visualize certain memory states for regressions.
1
0
26
I love a good ASCII diagram for debug and test. I've been reimplementing Ghostty's split tree data structure in Zig to share between both macOS and GTK and it logs stuff like this, which is beautiful.
7
1
115
Agree. One shotting stops being practical at an early complexity level. From that point forward you have to start getting a lot better at collaborating on a spec and game plan with the AI and giving it the guardrails to succeed (how to build, test, run). Then let her fly. For.
The best way to learn to code with AI isn’t to try and “one shot” things. Start by micromanaging things at the tiniest level, asking it to do very specific tasks. It’s way easier to get a knack for how to get good results, and you can slowly go up in abstraction from there.
21
22
446
A generalization that is right more than its wrong:. - Handles instead of pointers .- Handles using a smaller-than-usize type.- Pooled memory for the types backing the handles. Usually instantly better performance and algorithms on the data became cleaner, too. Win win.
31
18
516
Back in LA. Overpriced everything but you can’t beat this vibe.
17
2
204
My most degenerate behavior is when people send me a shared Google Doc and I copy and paste it into an Apple Note and send a shared link back.
18
2
379
We’re proud to welcome Eileen Gu as TCL’s Global Brand Ambassador. Together with the Olympic champion freestyle skier, we’re on a mission to change the world through passion and courage. Witness each moment of aspiration and triumph at the Olympic Winter Games Milano Cortina
21
25
167