This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |
| learning:start [2024/10/19 00:58] – fponzi | learning:start [2025/05/04 21:01] (current) – typo jesse_emptysquare.net |
|---|
| Then as good kickstart to TLA+, start with [[https://www.youtube.com/watch?app=desktop&v=tw3gsBms-f8|Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1]] and [[https://www.youtube.com/watch?v=8-Bc5Lqgx_c|Part 2]]. It is a good introduction on TLA+ and uses Paxos and Consensus as an example. | Then as good kickstart to TLA+, start with [[https://www.youtube.com/watch?app=desktop&v=tw3gsBms-f8|Leslie Lamport — The Paxos algorithm or how to win a Turing Award. Part 1]] and [[https://www.youtube.com/watch?v=8-Bc5Lqgx_c|Part 2]]. It is a good introduction on TLA+ and uses Paxos and Consensus as an example. |
| |
| After that, you can start digging into Lamport’s video course available on the [[https://lamport.azurewebsites.net/video/videos.html|website]]. If you prefer a written medium, [[https://lamport.azurewebsites.net/tla/book.html|Specyfing systems]]: by Leslie Lamport is still the reference book for TLA+ and its tools. It’s well written and easy to follow. | After that, you can start digging into Lamport’s video course available on the [[https://lamport.azurewebsites.net/video/videos.html|website]]. If you prefer a written medium, [[https://lamport.azurewebsites.net/tla/book.html|Specifying systems]]: by Leslie Lamport is still the reference book for TLA+ and its tools. It’s well written and easy to follow. |
| |
| After learning some TLA+, it might be helpful to start learning some Pluscal. Checkout the [[./pluscal.md|pluscal]] page for more info and some resources. | After learning some TLA+, it might be helpful to start learning some Pluscal. Checkout the [[./pluscal.md|pluscal]] page for more info and some resources. |
jesse_emptysquare.net