News for hackers. Stuff that matters.
Re:Leslie Lamport: Video course on TLA+ by cerebraltangent on Monday March 20, 2017 @10:07PM (#13919272)
Kindly add transcripts to this for the benefit of the hearing impaired people ?
Re:Leslie Lamport: Video course on TLA+ by ahelwer on Monday March 20, 2017 @10:18PM (#13919332)
Excellent suggestion!