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

Eight Things to Know about Large Language Models(2023)

Article URL: https://arxiv.org/abs/2304.00612 Comments URL: https://news.ycombinator.com/item?id=49492497 Points: 1 # Comments: 1 fro...