Measuring Correctness of State in a Distributed System | Hacker News Reader