There's Nothing 100% in Computer Science
When it comes to correctness guarantees, there are few communities in Computer Science (software) more obsessed with them than the database and distributed system communities. They better be serious about correctness because everyone's bank account balances depend on it. You have heard about terms like Paxos, consensus, fault tolerance, but…