Sign up for free
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Martin Kleppmann

Martin Kleppmann

ept
4 Stars

Decks

CRDTs: The Hard Parts
Avatar for Martin Kleppmann ept
4
70k
Moving elements in list CRDTs
Avatar for Martin Kleppmann ept
0
5.4k
Correctness proofs of distributed systems with Isabelle
Avatar for Martin Kleppmann ept
3
5.8k
Syncing data across user devices for distributed collaboration
Avatar for Martin Kleppmann ept
2
2.1k
Local-first software: Returning data ownership to users
Avatar for Martin Kleppmann ept
3
2.4k
Adapting secure group messaging for encrypted CRDTs
Avatar for Martin Kleppmann ept
0
3.5k
Rethinking collaboration software: Like Google Docs, but without the Google
Avatar for Martin Kleppmann ept
1
2k
Interleaving anomalies in collaborative text editors
Avatar for Martin Kleppmann ept
2
4k
What changes when you go offline-first?
Avatar for Martin Kleppmann ept
8
4.1k
Is Kafka a database?
Avatar for Martin Kleppmann ept
20
18k
Automerge: Replicated Data Structures for Peer-to-Peer Collaboration
Avatar for Martin Kleppmann ept
2
1.9k
Automerge: Making servers optional for real-time collaboration
Avatar for Martin Kleppmann ept
1
8.5k
Staying in Sync: From Transactions to Streams (Extended Version)
Avatar for Martin Kleppmann ept
2
600
From Secure Messaging to Secure Collaboration
Avatar for Martin Kleppmann ept
2
4.5k
Convergence versus Consensus: CRDTs and the Quest for Distributed Consistency
Avatar for Martin Kleppmann ept
1
5k
Data structures as queries: Expressing CRDTs using Datalog
Avatar for Martin Kleppmann ept
1
6.2k
Verifying strong eventual consistency in distributed systems
Avatar for Martin Kleppmann ept
3
920
Conflict Resolution for Eventual Consistency
Avatar for Martin Kleppmann ept
14
12k

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade