Cole's Avatar

Cole

@cole-miller.net

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

37
Followers
51
Following
53
Posts
13.02.2025
Joined
Posts Following

Latest posts by Cole @cole-miller.net

Post image

Gehirnjogging

07.03.2026 20:40 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

The answer may not always be REST.

06.03.2026 17:22 πŸ‘ 10 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

I can’t work under these conditions!!

β€” most software under most conditions

21.02.2026 18:28 πŸ‘ 74 πŸ” 4 πŸ’¬ 1 πŸ“Œ 0

Contra dance is so much fun!

07.02.2026 20:56 πŸ‘ 1 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Preview
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.

πŸš€ 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...

04.02.2026 18:26 πŸ‘ 81 πŸ” 8 πŸ’¬ 2 πŸ“Œ 1

Wish Rust allowed imports at `impl` block scope…

18.01.2026 23:53 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

maxim: if you want the row, eventually you’re going to want the column

16.01.2026 20:38 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Half-open intervals with equal endpoints are the source of many vexing edge cases

11.01.2026 22:44 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image Post image Post image

neat objects

23.12.2025 17:49 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I believe we fixed both of these, holler if not!

19.12.2025 22:03 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

What are flash drives used for other than installing Ubuntu every few years

19.12.2025 20:13 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

thank you Peter! will look at these

12.12.2025 17:26 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

If there is such a thing as tea poisoning I may be in danger of it this month

12.12.2025 15:37 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

πŸš€ 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.

10.12.2025 17:16 πŸ‘ 128 πŸ” 9 πŸ’¬ 3 πŸ“Œ 1
Preview
Zed Has Rainbow Brackets From the Zed Blog: A whole new world of color comes to Zed.

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...

03.12.2025 18:04 πŸ‘ 126 πŸ” 12 πŸ’¬ 4 πŸ“Œ 4

My nemesis today: the humble newline

22.11.2025 21:14 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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)

07.11.2025 06:20 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

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.

07.11.2025 06:20 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

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

06.11.2025 21:43 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

hell of a sunset

23.10.2025 23:27 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

the inlay map’s connected to the fold map, the fold map’s connected to the tab map…

23.10.2025 03:38 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

the mood in Rittenhouse Square is good

19.10.2025 20:31 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

yep! first-class support for WSL remote projects

15.10.2025 23:51 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image

It's finally here. Zed is available on Windows.

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

Download it today πŸ‘‡

15.10.2025 16:31 πŸ‘ 239 πŸ” 50 πŸ’¬ 8 πŸ“Œ 11

I don’t think I’ve ever heard a gavotte I didn’t like tbh

07.10.2025 19:18 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Suite de concert, Op. 28: II. Gavotte: Allegro moderato
Suite de concert, Op. 28: II. Gavotte: Allegro moderato YouTube video by David Oistrakh - Topic

An old favorite, very cheering: youtu.be/9JFQfw1SCDo

07.10.2025 19:17 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Update your Zed!

12.09.2025 19:57 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I have a soft spot for Op. 119 no. 4

14.08.2025 01:23 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

The name’s Dotlock. Cargo Dotlock

11.08.2025 19:08 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0