News for hackers. Stuff that matters.

A comment on Azure Cosmos DB, a globally distributed database. Parent comment

Re:Azure Cosmos DB, a globally distributed database by Quiark on Wednesday May 10, 2017 @11:11PM (#14313604)
Wow, that's cool. TLA+ is the same formalism that Amazon uses to verify (some of) their cloud services.
[ Parent | on HN ]

There are no comments on this comment yet.