3 ms·
A sneak peak to some future blogpost, this is what happens when "OOD " is inserted into "GG WP" to get "GOOD G WP": https://appsets.jsonjoy.com/blogposts/list-
by streamich 3y ago
A sneak peak to some future blogpost, this is what happens when "OOD " is inserted into "GG WP" to get "GOOD G WP":
https://appsets.jsonjoy.com/blogposts/list-crdt-internals/with-identifier-table.png https://appsets.jsonjoy.com/blogposts/list-crdt-internals/wi...
- bxff 3y agoCan't wait for the future blogpost! I got the Rope text data structure both from the pic, and from the data structure in AbstractRga, but am unsure of the identifier table, I am guessing thats the ID -> Chunks binary tree.