Cole
@cole-miller.net
I work on the Zed code editor and post about classical music
I believe we fixed both of these, holler if not!
December 19, 2025 at 10:03 PM
I believe we fixed both of these, holler if not!
thank you Peter! will look at these
December 12, 2025 at 5:26 PM
thank you Peter! will look at these
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)
November 7, 2025 at 6:20 AM
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)
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
November 6, 2025 at 9:43 PM
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
yep! first-class support for WSL remote projects
October 15, 2025 at 11:51 PM
yep! first-class support for WSL remote projects
I don’t think I’ve ever heard a gavotte I didn’t like tbh
October 7, 2025 at 7:18 PM
I don’t think I’ve ever heard a gavotte I didn’t like tbh
I have a soft spot for Op. 119 no. 4
August 14, 2025 at 1:23 AM
I have a soft spot for Op. 119 no. 4