New top story on Hacker News: Building a “Simple” Distributed System – Formal Verification on January 30, 2019 Get link Facebook X Pinterest Email Other Apps Building a “Simple” Distributed System – Formal Verification 136 by pron | 6 comments on Hacker News.