3 ms·
>"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
by bogomipz 6y ago
>"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+?
- cloogshicer 6y agoCheck out the video course from Leslie Lamport (the creator of TLA+) himself: https://lamport.azurewebsites.net/tla/learning.html https://lamport.azurewebsites.net/tla/learning.html
- macintux 6y agoLeslie 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.