Building a “Simple” Distributed System – Formal Verification


New top story on Hacker News: Building a “Simple” Distributed System – Formal Verification