New top story on Hacker News: Teaching rigorous distributed systems with efficient model checking Posted By: Rushan Skywalker 4:11 AM Leave a Reply Teaching rigorous distributed systems with efficient model checking 9 by feross | 1 comments on Hacker News. Tweet Share Share Share Share
0 comments: