Explorations in Distributed Systems, CRDTs, and Local-First software.
Announcement post.
State vectors and sync.
Efficient tree lookups.
CRDT learning logs.