Wednesday, January 30, 2019

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

Building a “Simple” Distributed System – Formal Verification
137 by pron | 6 comments on Hacker News.


No comments:

Post a Comment

How Will David Ellison Tackle the Big Problems at Paramount?

By Brooks Barnes from NYT Business https://ift.tt/iEKMgj1