How do you reason about a probabilistic distributed system? (2020) | Hacker News Reader