Hacker News new | ask | show | jobs
by parsnips 2232 days ago
Agreed. This is a limitation we ran into trying to implement a critical accounting ledger on top of DynamoDB. The transaction model we came up with is formally verified w/ TLA+. We're turning our work into a product: txlayer.com
1 comments
cbdumas 2232 days ago
> This is a limitation we ran into trying to implement a critical accounting ledger on top of DynamoDB.

Sounds like a perfect use case for a traditional RDBMS. Why Dynamo?

link
parsnips 2232 days ago
A fair question, and we’ve done it this way before at simple.com. When looking at the options for a pay-per use database, with global replication, streams and managed for you; We felt that if you could build a ledger on dynamo for these use cases, it’d be pretty compelling and fun.
link