I've been saying for ten years that the algorithms used for collaborative editing are no good for merging offline editing sessions. Such merges require user intervention. CRDTs will not solve this for you. Seems these people came to the same conclusion.
Conversation
Notices
-
Embed this notice
Marijn (marijn@mastodon.social)'s status on Saturday, 07-Dec-2024 19:59:56 JST Marijn -
Embed this notice
Marijn (marijn@mastodon.social)'s status on Saturday, 07-Dec-2024 19:59:55 JST Marijn Now that I think about it, I'm sure someone will throw a language model at this problem any time now. It'll mostly work and, of course, make catastrophic mistakes the rest of the time.
-
Embed this notice
Marijn (marijn@mastodon.social)'s status on Saturday, 07-Dec-2024 19:59:56 JST Marijn ProseMirror's OT actually gets the example case they use (concurrently editing/deleting a chunk of text) right, because it does think about user intention. It's still not suitable for big merges though. No automatic conflict-resolving system is, because conflicts are going to be too involved, subtle, and human for automatic resolution.
-
Embed this notice