learning:start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
learning:start [2024/10/19 00:55] – fponzilearning:start [2024/10/19 00:58] (current) – fponzi
Line 5: Line 5:
 First things first:  First things first: 
  
- 1. Setup your IDE. Visual Studio code with [[../using/vscode.md|tlaplus plugin]] is recommended.  + 
- 2. If you have questions or if you feel stuck at any point, reach out to the [[../community.md|community]].+  - Setup your IDE. Visual Studio code with tlaplus plugin [[using:vscode|tlaplus plugin]] is recommended.  
 +  - If you have questions or if you feel stuck at any point, reach out to the [[:community|community]].
  
 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.
Line 14: Line 15:
 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.
  
-Don’t just learn the theory, start by solving some small exercises.+Don’t just learn the theory, start by solving some small [[learning:exercises|exercises]].
  
  
  • learning/start.1729299314.txt.gz
  • Last modified: 2024/10/19 00:55
  • by fponzi