News for hackers. Stuff that matters.
Re:Leslie Lamport: Video course on TLA+ by AlphaSite on Monday March 20, 2017 @10:27PM (#13919373)
The paper is more of the same: https://www.microsoft.com/en-us/research/wp-content/uploads/... addmitadly, it's also fairly difficult to follow the random interspersed bits of Greek.

There are no comments on this comment yet.