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.


at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Influencers 'new' threat to uncontacted tribes, warns group after US tourist arrest

North Sentinel is home to a tribe that does not have contact with the outside world. from BBC News https://ift.tt/ovPj4F9 via IFTTT