Consensus Is Tricky, and People Don't Want to Mess With It

Two-Phase Commit, Zookeeper, Raft, and Simplex. Four papers on consensus from Stanford's CS244C, and why mathematical perfection matters less than defense in depth.