CRDT Survey, Part 1: Introduction | Hacker News Reader