Cole
cole-miller.net
Cole
@cole-miller.net
I work on the Zed code editor and post about classical music
neat objects
December 23, 2025 at 5:50 PM
What are flash drives used for other than installing Ubuntu every few years
December 19, 2025 at 8:13 PM
If there is such a thing as tea poisoning I may be in danger of it this month
December 12, 2025 at 3:37 PM
Reposted by Cole
🚀 We just shipped v0.216.0!

Word-level diffing just landed. 🎉
It's been a night-and-day difference for us—seeing exactly what changed within each line.
December 10, 2025 at 5:16 PM
Reposted by Cole
Zed's most requested feature (rainbow brackets 🌈 ) has been merged into stable!

The issue had over *1,000* upvotes on GitHub and we're excited for you to try it.

zed.dev/blog/rainbow...
Zed Has Rainbow Brackets
From the Zed Blog: A whole new world of color comes to Zed.
zed.dev
December 3, 2025 at 6:04 PM
My nemesis today: the humble newline
November 22, 2025 at 9:14 PM
math puzzle I want to work out when I have the chance: there are an infinite number of bugs (B_n) with some probability distribution (p_n). we draw an infinite i.i.d. sequence from this distribution, and then walk through it fixing bugs in the order we see them.
November 7, 2025 at 6:20 AM
the inlay map’s connected to the fold map, the fold map’s connected to the tab map…
October 23, 2025 at 3:38 AM
the mood in Rittenhouse Square is good
October 19, 2025 at 8:32 PM
Reposted by Cole
It's finally here. Zed is available on Windows.

Built from scratch, and rendering at 1 million pixels/millisecond.

Download it today 👇
October 15, 2025 at 4:31 PM
An old favorite, very cheering: youtu.be/9JFQfw1SCDo
Suite de concert, Op. 28: II. Gavotte: Allegro moderato
YouTube video by David Oistrakh - Topic
youtu.be
October 7, 2025 at 7:17 PM
Update your Zed!
zed.dev Zed @zed.dev · Sep 12
Uhoh, we broke Zed's auto-updater. 🫣

If you're on v0.203.x or v0.204.x, you'll need to manually check for updates via the Command Palette→ "auto update: check"

We've already shipped the fix - just need you to unbox the latest, shiniest version of Zed manually this time.
September 12, 2025 at 7:57 PM
The name’s Dotlock. Cargo Dotlock
August 11, 2025 at 7:08 PM
Reposted by Cole
My last living musical hero is still my hero but unfortunately no longer living. RIP to the great, great Mr. Tom Lehrer.
July 27, 2025 at 5:33 PM
Reposted by Cole
i had seen the david bowie quote about "music for 18 musicians" but i had not seen the full quote
July 26, 2025 at 11:16 AM
Reposted by Cole
Today, @chicagotribune.com laid off five guild staff members in a roughly 10% cut to our newsroom. These layoffs underscore a sad but unsurprising failure of leadership by Alden Global Capital, our hedge fund owner, and local management.
July 24, 2025 at 6:01 PM
typo I have made a few times today: "Claude Debuggy"
July 15, 2025 at 1:09 AM
This is a good trick
July 13, 2025 at 12:13 AM
Is this SRE?
July 7, 2025 at 12:06 AM
I am not a huge fan of this pair of buttons
July 3, 2025 at 2:35 AM
Reposted by Cole
In true Zed style, the Debugger exists because our community made it happen. Special thanks to Remco and Anthony for all their work on this. What a PR! github.com/zed-industri...
Debugger implementation by RemcoSmitsDev · Pull Request #13433 · zed-industries/zed
DISCLAIMER As of 6th March 2025, debugger is still in development. We plan to merge it behind a staff-only feature flag for staff use only, followed by non-public release and then finally a public...
github.com
June 18, 2025 at 5:56 PM
The Zed codebase generally passes around a type-erased `Task` struct instead of using `async fn` (and in place of `Pin<Box<dyn Future>>`). It took me a little while to get used to this but I'm starting to appreciate its advantages; one is that you can write layered signatures that express...
June 16, 2025 at 1:16 AM
Apparently the president of basketball operations for the Sixers commissioned a musical about basketball that's playing right now in Philly. Feels very 18th-century
June 14, 2025 at 4:42 PM
I regret to inform you that I tried the new variety of apple they're advertising in Philly and found it mediocre
May 24, 2025 at 9:02 PM
I really like Denk's phrasing at 1:10 here. I'm used to the Glenn Gould recording where it feels like he pauses for an extra millisecond before the opening motif reenters in the LH; Denk keeps it flowing and you can really feel the climax on the downbeat of m. 31 www.youtube.com/watch?v=YBY6...
Intermezzo Op. 118 No. 2 - Jeremy Denk - 11/28/2015
YouTube video by Radio Heartland
www.youtube.com
May 24, 2025 at 8:48 PM