News for hackers. Stuff that matters.

A comment on Azure Cosmos DB: Microsoft's Cloud-Born Globally Distributed Database. Parent comment

Re:Azure Cosmos DB: Microsoft's Cloud-Born Globally Distribu... by dtrailin on Sunday April 14, 2019 @07:37PM (#19662328)
The TLA+ specs where eventually published [0], although I wonder how up to date they are to current state of the DB since they haven't been updated for a while.

[0] https://github.com/Azure/azure-cosmos-tla

[ Parent | on HN ]
Re:Azure Cosmos DB: Microsoft's Cloud-Born Globally Distribu... by rnehme on Sunday April 14, 2019 @10:51PM (#19662884)
Hi, I am from Azure Cosmos DB Engineering Team.

The TLA+ specs are fairly up to date.

Thanks.

[ Parent | on HN ]