News for hackers. Stuff that matters.
Re:TLA+ by cloogshicer on Monday March 08, 2021 @09:33AM (#26386149)
Check out the video course from Leslie Lamport (the creator of TLA+) himself:

https://lamport.azurewebsites.net/tla/learning.html

Re:TLA+ by macintux on Monday March 08, 2021 @09:29PM (#26394712)
Leslie is one of those ridiculously over-accomplished people in computer science. I think it's safe to say you've earned respect when people can legitimately recognize your name for multiple, mostly-unrelated achievements, without realizing everything else you've done.