Linearizability and State-Machine Replication: Is It a Match? | Hacker News Reader