New top story on Hacker News: Teaching rigorous distributed systems with efficient model checking

Teaching rigorous distributed systems with efficient model checking
4 by feross | 1 comments on Hacker News.