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

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