News for hackers. Stuff that matters.
Re:Leslie Lamport: Video course on TLA+ by ahelwer on Monday March 20, 2017 @11:06PM (#13919542)
Aw, thanks!

There are no comments on this comment yet.