Hacker News new | ask | show | jobs
by mikaylamaki 487 days ago
Sorry you had this experience with Zed. We've seen a few reports of issues with our python integration (https://github.com/zed-industries/zed/issues/23170, https://github.com/zed-industries/zed/issues/22426), and we'll be taking a look at these next week. Please do a file an issue for performance problems like this, it's a bug if Zed isn't fast for your use case :)
1 comments
gonational 486 days ago
I don't make tickets in GitHub, but I regularly give specific feedback in the feedback form. Do you guys look at those?
link
mikaylamaki 486 days ago
We do! Sorry we missed your feedback.
link