New top story on Hacker News: Paxos automatically determined safe and secure

Paxos automatically determined safe and secure
24 by rbanffy | 2 comments on Hacker News.