Martin Kleppmann

Exploring CRDTs, Automerge, and generic syncing servers with Martin Kleppmann. Discussing the future impact on local-first software. Transition from JSON CRDT paper to Auto Merge. Evolution and future enhancements of Auto Merge. Peer-to-peer syncing and transition to local-first software. Evolution of local-first technology and user control over data. Impact of local-first computing on niche use cases.

Chris Riccomini, an engineer who builds distributed systems and startups, and Martin Kleppmann, a researcher and author on distributed systems, discuss rebuilding databases on cloud-native object storage. They explore how S3-like stores change system assumptions. They revisit CAP and propose offline availability. They debate using formal methods, model checking, and LLMs as test oracles for migrations.

Local-first is a set of principles that enables collaborative software without the loss of data ownership associated with the cloud. Martin is a computer scientist on the frontier of this movement, and he joins Mark and Adam to discuss how creative people put their souls into their work; a vision for a generic AWS syncing service; and why local-first could be a breakthrough for indie app developers. Discuss this episode in the Muse community Follow @MuseAppHQ on Twitter Show notes Martin Kleppmann University of Cambridge Debussy four-handed piano piece Martin’s previous startup, Rapportive Apache Kafka Designing Data-Intensive Applications Writing a book: is it worth it? Local-first software: You own your data, in spite of the cloud Ink & Switch Geoffrey Litt Pixelpusher the fish says “what the hell is water?” “crushing it” elevator pitch Google Docs realtime collaboration defrag your hard drive self-hosting an SMTP server and spam filtering thin client Peter van Hardenberg Pixelpusher Automerge “there is stuff you always use; and stuff that won’t work when you need it” Slack’s free vs paid message retention federation, mesh network CRDTs How we pay for software Swift, Kotlin technology transfer fuzz testing, Monte Carlo simulation local-first Trello clone demo end-to-end encryption Firebase