CRDT: Tree-Based Indexing (2022) | Dark Hacker News