Distributed Systems 1.1: Introduction
14:36
Distributed Systems 1.1: Introduction
337.8K viewsOct 28, 2020
YouTubeMartin Kleppmann
Distributed Systems 2.3: System models
20:45
Distributed Systems 2.3: System models
66.5K viewsOct 28, 2020
YouTubeMartin Kleppmann
Distributed Systems 1.2: Computer networking
13:07
Distributed Systems 1.2: Computer networking
87.9K viewsOct 28, 2020
YouTubeMartin Kleppmann
Distributed Systems 5.2: Quorums
9:37
Distributed Systems 5.2: Quorums
48.4K viewsOct 28, 2020
YouTubeMartin Kleppmann
Distributed Systems 7.2: Linearizability
18:44
Distributed Systems 7.2: Linearizability
48.1K viewsOct 28, 2020
YouTubeMartin Kleppmann
Distributed Systems 4.1: Logical time
24:02
Distributed Systems 4.1: Logical time
111.6K viewsOct 28, 2020
YouTubeMartin Kleppmann
Distributed Systems 1.3: RPC (Remote Procedure Call)
19:45
Distributed Systems 1.3: RPC (Remote Procedure Call)
132.5K viewsOct 28, 2020
YouTubeMartin Kleppmann
18:45
Find in video from 02:28Distributed Transactions
Distributed Systems 7.1: Two-phase commit
82.3K viewsOct 28, 2020
YouTubeMartin Kleppmann
25:21
Distributed Systems 5.1: Replication
58.9K viewsOct 28, 2020
YouTubeMartin Kleppmann
20:48
Distributed Systems 3.1: Physical time
52.2K viewsOct 28, 2020
YouTubeMartin Kleppmann
14:59
Find in video from 05:00Formalization of Systems
Distributed Systems 7.3: Eventual consistency
35.2K viewsOct 28, 2020
YouTubeMartin Kleppmann
11:35
Find in video from 00:19System Models for Distributed Systems
Distributed Systems 2.1: The two generals problem
71.3K viewsOct 28, 2020
YouTubeMartin Kleppmann
8:19
Find in video from 03:32Fault Tolerance in Distributed Systems
Distributed Systems 2.4: Fault tolerance
51.6K viewsOct 28, 2020
YouTubeMartin Kleppmann
15:58
Distributed Systems 3.2: Clock synchronisation
57.5K viewsOct 28, 2020
YouTubeMartin Kleppmann
16:19
Distributed Systems 4.2: Broadcast ordering
66.6K viewsOct 28, 2020
YouTubeMartin Kleppmann
16:25
Find in video from 15:00Ordering Events in Distributed Systems
Distributed Systems 3.3: Causality and happens-before
53.5K viewsOct 28, 2020
YouTubeMartin Kleppmann
13:45
Distributed Systems 4.3: Broadcast algorithms
53.8K viewsOct 28, 2020
YouTubeMartin Kleppmann
18:15
Find in video from 06:03System Models and Consensus
Distributed Systems 6.1: Consensus
49.2K viewsOct 28, 2020
YouTubeMartin Kleppmann
10:42
Distributed Systems 2.2: The Byzantine generals problem
86K viewsOct 28, 2020
YouTubeMartin Kleppmann
36:26
Distributed Systems 8.1: Collaboration software
27.9K viewsNov 16, 2020
YouTubeMartin Kleppmann
38:09
Distributed Systems 6.2: Raft
46.4K viewsOct 13, 2021
YouTubeMartin Kleppmann
10:15
Distributed Systems 5.3: State machine replication
37.7K viewsOct 28, 2020
YouTubeMartin Kleppmann
1:25:49
Designing Data-intensive Applications with Martin Kleppmann
259.1K views3 weeks ago
YouTubeThe Pragmatic Engineer
18:41
Distributed Systems 8.2: Google's Spanner
44.5K viewsNov 16, 2020
YouTubeMartin Kleppmann
1:10:10
CRDTs: The Hard Parts
83.5K viewsJul 6, 2020
YouTubeMartin Kleppmann
52:04
Find in video from 35:03Partially Ordered vs. Totally Ordered Systems
Thinking in Events: From Databases to Distributed Collaboration Software (…
36.2K viewsJul 1, 2021
YouTubeMartin Kleppmann
1:20:23
Re-Designing Data-Intensive Applications: The Shift to Cloud-Nati…
9.5K views2 months ago
YouTubeAntithesis
30:44
📘 Designing Data-Intensive Applications | System Design | Book Summary
1.2K views1 year ago
YouTubeAI Engineering Podcast
42:38
"Correctness proofs of distributed systems with Isabelle" by Martin Klep…
12.8K viewsSep 14, 2019
YouTubeStrange Loop Conference
1:58:09
Correctness proofs of distributed systems with Isabelle/HOL
12.3K viewsDec 11, 2019
YouTubeMartin Kleppmann
See more videos
Static thumbnail place holder