My understanding is that he is involved in the development of Zed

I find Zed's feature choices to be really poor, and then I probably made a poor association based on his talking about zed

Hashimoto writes Ghostty in the Zig programming language. There might be a mixup here between Zig and Zed.

Yeah, they're not zigging, they're zagging, er, zedding...

I know he's working on ghostty, but I've never heard anything about him working on Zed, was that what you were thinking of?