News for hackers. Stuff that matters.

A comment on Learn TLA+.

Re:Learn TLA+ by brrrrrm on Wednesday September 28, 2022 @02:38PM (#33011564)
does anyone have recommended video-based ways of learning about TLA+?
[ Parent | on HN ]
Re:Learn TLA+ by gnarula on Wednesday September 28, 2022 @02:48PM (#33011686)
There's a video series by Leslie Lamport himself: https://lamport.azurewebsites.net/video/videos.html

There's also Dr. TLA+ series by Microsoft Research at https://www.youtube.com/watch?v=ao58xine3jM&list=PLD7HFcN7LX...

[ Parent | on HN ]
Re:Learn TLA+ by limmeau on Wednesday September 28, 2022 @02:47PM (#33011674)
You can watch Leslie Lamport himself explaining it at https://lamport.azurewebsites.net/video/videos.html . It doesn't cover Pluscal, but goes deep into TLA+.

(BTW count the different shirts).

[ Parent | on HN ]