Joseph Lyons
@mydeathmachine.bsky.social
Dev, audio engineer, metal fanatic, dad. I post about code, tech, and cool software I run into. Works at @zed.dev
What a commit description! And you did that perfect line length thing again!
November 13, 2025 at 1:09 PM
What a commit description! And you did that perfect line length thing again!
Looks like most files we pick up for the agent's rules are expected to be in the root, but that one is specifically in ` .github/`.
November 2, 2025 at 8:10 PM
Looks like most files we pick up for the agent's rules are expected to be in the root, but that one is specifically in ` .github/`.
Hey, Joseph here, from Zed.dev. Was watching your video and saw you mention that Zed wasn't picking up your `copilot-instructions.md` file. It looks like we are checking for rules files here:
github.com/zed-industri...
Is your `copilot-instructions.md` in the `.github` directory?
github.com/zed-industri...
Is your `copilot-instructions.md` in the `.github` directory?
github.com
November 2, 2025 at 8:08 PM
Hey, Joseph here, from Zed.dev. Was watching your video and saw you mention that Zed wasn't picking up your `copilot-instructions.md` file. It looks like we are checking for rules files here:
github.com/zed-industri...
Is your `copilot-instructions.md` in the `.github` directory?
github.com/zed-industri...
Is your `copilot-instructions.md` in the `.github` directory?
Oh cool! I know David, I'll chat with him! Thank you!
October 8, 2025 at 1:28 PM
Oh cool! I know David, I'll chat with him! Thank you!
This is cool, any chance I could get you to document how you set this up here?
github.com/zed-industri...
github.com/zed-industri...
Hidden Gems: Community Edition · zed-industries zed · Discussion #39680
Hey all, we just published Hidden Gems: Team Edition Part 1, the first in a series of blog posts where we document some of our favorite hidden features and personal workflows we use in Zed. We plan...
github.com
October 8, 2025 at 12:31 AM
This is cool, any chance I could get you to document how you set this up here?
github.com/zed-industri...
github.com/zed-industri...
Received! We'll get this sorted out for you. Really sorry about this. Spring is not even "insanely long" with their wait times, it's just downright absurd. We'll be launching with a much better merch distributor in the near future, one where you don't have to wait 4 months to get your stuff.
September 28, 2025 at 8:27 AM
Received! We'll get this sorted out for you. Really sorry about this. Spring is not even "insanely long" with their wait times, it's just downright absurd. We'll be launching with a much better merch distributor in the near future, one where you don't have to wait 4 months to get your stuff.
Hey Max, could you shoot me an email at joseph(at)zed(dot)dev with your address and size? We are changing merch platforms because we aren't happy with the current. Really sorry about this.
September 26, 2025 at 6:29 PM
Hey Max, could you shoot me an email at joseph(at)zed(dot)dev with your address and size? We are changing merch platforms because we aren't happy with the current. Really sorry about this.
Amazing! Let us know when you launch it so we can add it to the integrations list in the README.md!
github.com/zed-industri...
github.com/zed-industri...
GitHub - zed-industries/agent-client-protocol: A protocol for connecting any editor to any agent
A protocol for connecting any editor to any agent - zed-industries/agent-client-protocol
github.com
September 6, 2025 at 11:06 PM
Amazing! Let us know when you launch it so we can add it to the integrations list in the README.md!
github.com/zed-industri...
github.com/zed-industri...
Hey, can you check either of the latest builds and see if your sluggish typing issue is fixed or remains?
Stable - v0.195.5
Preview - v0.196.4
zed.dev/releases/sta...
Stable - v0.195.5
Preview - v0.196.4
zed.dev/releases/sta...
Zed — The editor for what's next
Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
zed.dev
July 18, 2025 at 7:04 PM
Hey, can you check either of the latest builds and see if your sluggish typing issue is fixed or remains?
Stable - v0.195.5
Preview - v0.196.4
zed.dev/releases/sta...
Stable - v0.195.5
Preview - v0.196.4
zed.dev/releases/sta...
Hey Harry, we think we've identified where the regression came from and will be doing a revert on the PR that caused it, we'll get a patch out soon to address this.
July 18, 2025 at 6:18 AM
Hey Harry, we think we've identified where the regression came from and will be doing a revert on the PR that caused it, we'll get a patch out soon to address this.
We don't have any special interest in it. We support all sorts of models: remote, local, big, large. We simply added support because it was being requested.
July 17, 2025 at 3:36 AM
We don't have any special interest in it. We support all sorts of models: remote, local, big, large. We simply added support because it was being requested.
Yes, I am a Zed. 😂
July 16, 2025 at 10:21 PM
Yes, I am a Zed. 😂
I think you should give Zed a try 😅
July 8, 2025 at 5:27 PM
I think you should give Zed a try 😅
Stashes are something we will add too.
March 31, 2025 at 2:28 PM
Stashes are something we will add too.
We don't have stash support yet. Our git launch included a handful of the most requested features, but we are working to add additional git features incrementally now. We're currently working on being able to review past commits in Zed, and conflict resolution should be coming as well.
March 31, 2025 at 2:28 PM
We don't have stash support yet. Our git launch included a handful of the most requested features, but we are working to add additional git features incrementally now. We're currently working on being able to review past commits in Zed, and conflict resolution should be coming as well.
Hey Daniel, super love reading your incredibly kind words about Zed and happy to hear things are going well. We don't plan to charge for the editor itself - we'll be focusing on generating revenue via subscriptions around collab and AI, and possibly charging for enterprise features.
March 28, 2025 at 12:11 PM
Hey Daniel, super love reading your incredibly kind words about Zed and happy to hear things are going well. We don't plan to charge for the editor itself - we'll be focusing on generating revenue via subscriptions around collab and AI, and possibly charging for enterprise features.
We're dropping an entirely rewritten assistant and agentic editing relatively soon! Going to be a big leap.
March 24, 2025 at 6:32 PM
We're dropping an entirely rewritten assistant and agentic editing relatively soon! Going to be a big leap.
You can also temporarily toggle them when holding down configured modifiers:
inlay_hints": {
"toggle_on_modifiers_press": {
"control": true,
"shift": true,
"alt": true,
"platform": false,
"function": false
}
}
inlay_hints": {
"toggle_on_modifiers_press": {
"control": true,
"shift": true,
"alt": true,
"platform": false,
"function": false
}
}
March 16, 2025 at 6:27 AM
You can also temporarily toggle them when holding down configured modifiers:
inlay_hints": {
"toggle_on_modifiers_press": {
"control": true,
"shift": true,
"alt": true,
"platform": false,
"function": false
}
}
inlay_hints": {
"toggle_on_modifiers_press": {
"control": true,
"shift": true,
"alt": true,
"platform": false,
"function": false
}
}
We are going to be working with them directly on that PR soon...
February 5, 2025 at 9:46 PM
We are going to be working with them directly on that PR soon...