The Byzantine Generals Problem
gravitypersists.github.io
Three generals, one city, and messengers who might not make it: why computers can't simply agree.