News for hackers. Stuff that matters.
Re:Leslie Lamport: Video course on TLA+ by ahelwer on Monday March 20, 2017 @10:18PM (#13919332)
Excellent suggestion!

There are no comments on this comment yet.