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

Lahore punished for ball tampering in PSL defeat

Lahore Qalandars are penalised for ball tampering during their Pakistan Super League defeat by Karachi Kings. from BBC News https://ift.tt...