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