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)

Show HN: rtrvr.ai – AI Web Agent for Automating Workflows and Data Extraction

Hey HN, I'm excited to share rtrvr.ai, a Chrome extension that brings the power of AI agents to your everyday web browsing. It's de...