Hacker News new | ask | show | jobs
by lumpypua 4348 days ago
Ark is just about making replication as a whole trustworthy.

Then you need a formal model.