Martin Kleppmann — Syncing data across user devices for distributed collaboration