ПОЙМИ КОНСЕНСУС с matklad

matklad выдает математическую базу про консенсус. 0:00 - Introduction to Consensus and Distributed Systems 1:52 - Mathematical Foundation: Discrete Systems and State Spaces 7:36 - Counter Examples and System Trajectories 20:19 - Defining the Consensus Problem Formally 36:13 - Choosing Colors: The Abstract Consensus Task 44:11 - Democratic Voting: First Consensus Approach 54:48 - Authoritarian Voting: Single Leader Mechanism 1:00:30 - Combining Approaches: Multiple Concurrent Votings 1:15:56 - The First Key Insight: Preventing Conflicts 1:25:52 - The Second Key Insight: Abstention Strategy 1:31:56 - Building the Complete Consensus Algorithm 1:42:32 - Proving Correctness: Mathematical Induction 1:49:42 - Liveness Properties and Progress Guarantees 2:00:21 - From Theory to Practice: Implementation Considerations Смотреть офлайн запись лекции Леши: https://tigerbeetle.com/blog/2025-11-22-mathematics-of-consensus тгк: https://t.me/tfeat #raft #paxos #distributedsystems #coding #programming #mathematics