News for hackers. Stuff that matters.

A comment on Zed, a collaborative code editor, is now open source.

Re:Zed, a collaborative code editor, is now open source by 6gvONxR4sf7o on Wednesday January 24, 2024 @02:19PM (#39121493)
I recently went down the rabbit hole on CRDTs and would love to know more about what you're using under the hood. Did you roll your own?
[ Parent | on HN ]
Re:Zed, a collaborative code editor, is now open source by mijoharas on Wednesday January 24, 2024 @02:38PM (#39121706)
I looked into that on GitHub earlier because I was curious about exactly this, and yes it looks like they did roll their own.
[ Parent | on HN ]
Re:Zed, a collaborative code editor, is now open source by 6gvONxR4sf7o on Wednesday January 24, 2024 @03:08PM (#39122002)
Could you link where you found it? I'm curious what kind they made.
[ Parent | on HN ]
Re:Zed, a collaborative code editor, is now open source by mijoharas on Thursday January 25, 2024 @09:53AM (#39130150)
I think it's most of the "buffer" stuff here[0].

[0] https://github.com/zed-industries/zed/pull/2924/files#diff-e...

[ Parent | on HN ]
Re:Zed, a collaborative code editor, is now open source by iamnbutler on Wednesday January 24, 2024 @09:43PM (#39125644)
nathan wrote a large post about this! https://zed.dev/blog/crdts
[ Parent | on HN ]
Re:Zed, a collaborative code editor, is now open source by 6gvONxR4sf7o on Thursday January 25, 2024 @06:58PM (#39137160)
Thanks!
[ Parent | on HN ]