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