iiinova — where your digital self keeps evolving

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

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

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 · 19/12/2025

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

000

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

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

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

816280004710

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

This is a good trick

220

Cole @cole-miller.net · 03/07/2025

I am not a huge fan of this pair of buttons

020

Cole @cole-miller.net · 16/06/2025

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

110

Cole @cole-miller.net · 14/06/2025

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

000

Cole @cole-miller.net · 24/05/2025

I regret to inform you that I tried the new variety of apple they're advertising in Philly and found it mediocre

000

Cole @cole-miller.net · 24/05/2025

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

youtube.com

Intermezzo Op. 118 No. 2 - Jeremy Denk - 11/28/2015

YouTube video by Radio Heartland

000

Cole @cole-miller.net · 23/05/2025

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

110

Cole @cole-miller.net · 23/05/2025

Having a frictionless in-editor diff view is pretty great for navigating around your WIP changes

010

Cole @cole-miller.net · 08/05/2025

Good day to be living in Philadelphia

010

Cole @cole-miller.net · 01/05/2025

Auto traits were a mistake (deliberately imprecise, I know that Drop is not an auto trait)

000

Cole @cole-miller.net · 26/04/2025

These two stinking bars

000

Cole @cole-miller.net · 14/04/2025

Just learned the Philadelphia Orchestra is playing Lutosławski in May and my civic pride instantly increased by 5% or so

000