Cole
@cole-miller.net
I work on the Zed code editor and post about classical music
My nemesis today: the humble newline
November 22, 2025 at 9:14 PM
My nemesis today: the humble newline
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
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.
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 inlay map’s connected to the fold map, the fold map’s connected to the tab map…
the mood in Rittenhouse Square is good
October 19, 2025 at 8:32 PM
the mood in Rittenhouse Square is good
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 👇
Built from scratch, and rendering at 1 million pixels/millisecond.
Download it today 👇
October 15, 2025 at 4:31 PM
It's finally here. Zed is available on Windows.
Built from scratch, and rendering at 1 million pixels/millisecond.
Download it today 👇
Built from scratch, and rendering at 1 million pixels/millisecond.
Download it today 👇
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
An old favorite, very cheering: youtu.be/9JFQfw1SCDo
Update your Zed!
September 12, 2025 at 7:57 PM
Update your Zed!
The name’s Dotlock. Cargo Dotlock
August 11, 2025 at 7:08 PM
The name’s Dotlock. Cargo Dotlock
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
My last living musical hero is still my hero but unfortunately no longer living. RIP to the great, great Mr. Tom Lehrer.
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
i had seen the david bowie quote about "music for 18 musicians" but i had not seen the full quote
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
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.
typo I have made a few times today: "Claude Debuggy"
July 15, 2025 at 1:09 AM
typo I have made a few times today: "Claude Debuggy"
I am not a huge fan of this pair of buttons
July 3, 2025 at 2:35 AM
I am not a huge fan of this pair of buttons
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
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...
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
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...
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
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
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 regret to inform you that I tried the new variety of apple they're advertising in Philly and found it mediocre
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
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...
aggregated recent listening post:
- normally I'm more of a Gloria person but the Credo from the Missa Papae Marcelli is unbeatable. that final cadence!
- I am learning that the best Haydn slow movements bear comparison with basically anything. Op. 20 no. 3 and symphony no. 64 are right up there
- normally I'm more of a Gloria person but the Credo from the Missa Papae Marcelli is unbeatable. that final cadence!
- I am learning that the best Haydn slow movements bear comparison with basically anything. Op. 20 no. 3 and symphony no. 64 are right up there
May 23, 2025 at 2:12 AM
aggregated recent listening post:
- normally I'm more of a Gloria person but the Credo from the Missa Papae Marcelli is unbeatable. that final cadence!
- I am learning that the best Haydn slow movements bear comparison with basically anything. Op. 20 no. 3 and symphony no. 64 are right up there
- normally I'm more of a Gloria person but the Credo from the Missa Papae Marcelli is unbeatable. that final cadence!
- I am learning that the best Haydn slow movements bear comparison with basically anything. Op. 20 no. 3 and symphony no. 64 are right up there
Having a frictionless in-editor diff view is pretty great for navigating around your WIP changes
May 23, 2025 at 1:59 AM
Having a frictionless in-editor diff view is pretty great for navigating around your WIP changes
Good day to be living in Philadelphia
May 8, 2025 at 12:00 AM
Good day to be living in Philadelphia
Auto traits were a mistake (deliberately imprecise, I know that Drop is not an auto trait)
TIL: in Rust, adding a Drop impl to a type is a Major semver change which is globally visible; it can be observed even through opaque intermediate types.
github.com/obi1kenobi/c...
github.com/obi1kenobi/c...
Adding `Drop` impl to a type used in a public API type is a SemVer hazard · Issue #930 · obi1kenobi/cargo-semver-checks
If a type in the public API has no components that impl Drop, adding the first impl Drop on that type or any of its components appears to be a major breaking change: playground struct Foo; // Addin...
github.com
May 1, 2025 at 2:29 PM
Auto traits were a mistake (deliberately imprecise, I know that Drop is not an auto trait)
