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
69k
Moving elements in list CRDTs
Avatar for Martin Kleppmann ept
0
5.2k
Correctness proofs of distributed systems with Isabelle
Avatar for Martin Kleppmann ept
3
5.7k
Syncing data across user devices for distributed collaboration
Avatar for Martin Kleppmann ept
2
2k
Local-first software: Returning data ownership to users
Avatar for Martin Kleppmann ept
3
2.3k
Adapting secure group messaging for encrypted CRDTs
Avatar for Martin Kleppmann ept
0
3.4k
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
3.9k
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.4k
Staying in Sync: From Transactions to Streams (Extended Version)
Avatar for Martin Kleppmann ept
2
590
From Secure Messaging to Secure Collaboration
Avatar for Martin Kleppmann ept
2
4.4k
Convergence versus Consensus: CRDTs and the Quest for Distributed Consistency
Avatar for Martin Kleppmann ept
1
4.9k
Data structures as queries: Expressing CRDTs using Datalog
Avatar for Martin Kleppmann ept
1
6.1k
Verifying strong eventual consistency in distributed systems
Avatar for Martin Kleppmann ept
3
910
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