Safety, liveness and fault tolerance—the consensus choices | Hacker News Reader