Notes on the FoundationDB Paper with Additional Proof of Correctness | Dark Hacker News