Sign in

Cole

@cole-miller.net
46 followers 55 following 65 posts

I work on the Zed code editor and post about classical music

PostsRepliesMedia
Cole @cole-miller.net · 13/09/2026
Like, where else are you going to see an (amazing) instrumental arrangement of this? youtu.be/jgbFxrn3gAc
youtu.be
Salga el Torillo
YouTube video by Maria Cristina Kiehr - Topic
001
Cole @cole-miller.net · 13/09/2026
If you get the chance to see relicensemble.org live I wouldn't pass it up. All the good parts of the historically informed performance approach with none of the reverent fustiness
relicensemble.org
Relic Ensemble
Early music ensemble performing across the United States. Upcoming concerts, about, media, and ways to support.
100
Cole @cole-miller.net · 04/05/2026
My friend won a Pulitzer!
010
Cole @cole-miller.net · 02/05/2026
good job Louise Bogan and Samuel Barber youtu.be/L7Wu5wMoegk
youtu.be
Samuel Barber - To be Sung on the Water (1968)
YouTube video by Anthony Mondon
010
Reposted by Cole
Zed @zed.dev · 29/04/2026
We've shipped more than a thousand versions of Zed, but all of them began with zero. Today, that changes. zed.dev/blog/zed-1-0
1642863
Cole @cole-miller.net · 24/04/2026
The quality of good code is not strained
010
Cole @cole-miller.net · 10/04/2026
Still discovering new pretty views of the city
010
Reposted by Cole
Hillel @hillelwayne.com · 07/04/2026
10/ You can solve an enormous number of technical problems by taking a walk
36316
Reposted by Cole
Zed @zed.dev · 03/04/2026
We heard you loud and clear, so we went ahead and built the git graph.
624510
Cole @cole-miller.net · 25/03/2026
It’s really cool to work at a company that can do this kind of thing in-house!
001
Cole @cole-miller.net · 17/03/2026
Silly joke about software returning an error whenever it‘s a day ending in ”y”, spoofing two common ways for an error to be presented (errno and HTTP status code)
100
Cole @cole-miller.net · 17/03/2026
499 Current Day Ends In Y
100
Cole @cole-miller.net · 17/03/2026
EDAYENDSINY
101
Cole @cole-miller.net · 13/03/2026
congrats!
010
Cole @cole-miller.net · 11/03/2026
it is automatic!
010
Cole @cole-miller.net · 07/03/2026
Gehirnjogging
010
Reposted by Cole
David Crawshaw @crawshaw.io · 06/03/2026
The answer may not always be REST.
1101
Reposted by Cole
apenwarr @apenwarr.ca · 21/02/2026
I can’t work under these conditions!! — most software under most conditions
1744
Cole @cole-miller.net · 07/02/2026
Contra dance is so much fun!
001
Reposted by Cole
Zed @zed.dev · 04/02/2026
🚀 We just shipped v0.222! Edit prediction now supports multiple providers: GitHub Copilot's Next Edit Suggestions, Ollama, Mistralai's Codestral, Sweep, and Mercury Coder. zed.dev/blog/edit-pr...
zed.dev
Choose Your Edit Prediction Provider - Zed Blog
From the Zed Blog: Zed now supports multiple edit prediction providers: Zeta, Mercury Coder, Sweep, Ollama, and GitHub Copilot Next-Edit.
2808
Cole @cole-miller.net · 18/01/2026
Wish Rust allowed imports at `impl` block scope…
010
Cole @cole-miller.net · 16/01/2026
maxim: if you want the row, eventually you’re going to want the column
000
Cole @cole-miller.net · 11/01/2026
Half-open intervals with equal endpoints are the source of many vexing edge cases
010
Cole @cole-miller.net · 23/12/2025
neat objects
000
Cole @cole-miller.net · 19/12/2025
I believe we fixed both of these, holler if not!
000
Cole @cole-miller.net · 19/12/2025
What are flash drives used for other than installing Ubuntu every few years
000
Cole @cole-miller.net · 12/12/2025
thank you Peter! will look at these
110
Cole @cole-miller.net · 12/12/2025
If there is such a thing as tea poisoning I may be in danger of it this month
010
Reposted by Cole
Zed @zed.dev · 10/12/2025
🚀 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.
21269
Reposted by Cole
Zed @zed.dev · 03/12/2025
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.dev
Zed Has Rainbow Brackets
From the Zed Blog: A whole new world of color comes to Zed.
412312
Cole @cole-miller.net · 22/11/2025
My nemesis today: the humble newline
010
Cole @cole-miller.net · 07/11/2025
what is the probability that at the ith step we see a bug that was already fixed in a previous step? (for realism we could have the p_n obey a power law)
000
Cole @cole-miller.net · 07/11/2025
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.
100
Cole @cole-miller.net · 06/11/2025
not right now but I like the idea of adding this with a smart default like what GitHub has! and we could read your .gitattributes to look for patterns with the `binary` or `linguist-generated` attributes so we’re compatible with other tools
020
Cole @cole-miller.net · 24/10/2025
hell of a sunset
010
Cole @cole-miller.net · 23/10/2025
the inlay map’s connected to the fold map, the fold map’s connected to the tab map…
020
Cole @cole-miller.net · 19/10/2025
the mood in Rittenhouse Square is good
000
Cole @cole-miller.net · 16/10/2025
yep! first-class support for WSL remote projects
130
Reposted by Cole
Zed @zed.dev · 15/10/2025
It's finally here. Zed is available on Windows. Built from scratch, and rendering at 1 million pixels/millisecond. Download it today 👇
823747
Cole @cole-miller.net · 07/10/2025
I don’t think I’ve ever heard a gavotte I didn’t like tbh
000
Cole @cole-miller.net · 07/10/2025
An old favorite, very cheering: youtu.be/9JFQfw1SCDo
youtu.be
Suite de concert, Op. 28: II. Gavotte: Allegro moderato
YouTube video by David Oistrakh - Topic
100
Cole @cole-miller.net · 12/09/2025
Update your Zed!
000
Cole @cole-miller.net · 14/08/2025
I have a soft spot for Op. 119 no. 4
000
Cole @cole-miller.net · 11/08/2025
The name’s Dotlock. Cargo Dotlock
000
Reposted by Cole
Al Yankovic @alyankovic.bsky.social · 27/07/2025
My last living musical hero is still my hero but unfortunately no longer living. RIP to the great, great Mr. Tom Lehrer.
Photo of Tom Lehrer
816279994709
Reposted by Cole
tef @tef.bsky.social · 26/07/2025
i had seen the david bowie quote about "music for 18 musicians" but i had not seen the full quote
MUSIC FOR 18 MUSICIANS
STEVE REICH
(1978, ECM)

Bought in New York. Balinese gamelan music cross-dressing as Minimalism. Saw this performed live in downtown New York in the late 70s. All white shirts and black trousers. Having just finished a tour in white shirt and black trousers, I immediately recognized Reich’s huge talent and great taste. The music (and the gymnastics involved in executing Reich’s tag-team approach to shift work) floored me. Astonishing.
1202
Reposted by Cole
ctguild.bsky.social @ctguild.bsky.social · 24/07/2025
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.
717367
Cole @cole-miller.net · 15/07/2025
typo I have made a few times today: "Claude Debuggy"
000
Cole @cole-miller.net · 13/07/2025
(from the new matklad post)
000