C cockroachlabs.com Antithesis of a One-in-a-Million Bug: Taming Demonic Nondeterminism 138 points eatonphil 2 years ago 29 comments