News for hackers. Stuff that matters.

A comment on TLA+. Parent comment

Re:TLA+ by bogomipz on Monday March 08, 2021 @09:28AM (#26386101)
>"100% convinced it's worth learning to debug or verify any kind of distributed or multithreaded synchronization primitive."

Might you or anyone else have some resources you could recommend for learning TLA+?

[ Parent | on HN ]
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

[ Parent | on HN ]
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.
[ Parent | on HN ]