Kyle Kingsbury on distributed systems correctness and Jepsen testing, mixed with sharp posts on whatever else provokes him.