Faster CRDTs: An Adventure in Optimization | Hacker News