6 ms·
This post is well-timed. I'm aware of many previous posts on HNews and the main documentation [0]. Does anyone have suggestions for getting started from a non-
by physicsgraph 4y ago
This post is well-timed.
I'm aware of many previous posts on HNews and the main documentation [0]. Does anyone have suggestions for getting started from a non-CompSci perspective? I am comfortable with Python but I'm not confident that suffices.
0: http://lamport.azurewebsites.net/tla/hyperbook.html http://lamport.azurewebsites.net/tla/hyperbook.html
- FigmentEngine 4y agohttps://www.hillelwayne.com/post/learntla/ https://www.hillelwayne.com/post/learntla/
- threatofrain 4y agoOriginal Leslie Lamport lectures. https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7AOAwkreYImYt0gIpOdWQevD https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...
- dwohnitmok 4y agoLamport's video course is great (it's linked from the hyperbook, but just in case here's the direct link: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html). If you've used Python before that's more than enough background to get started, no other CS knowledge required.
- deterministic 4y agoI recommend learning Dafny instead of TLA+. It gives you all of the same reasoning power, with the added advantage that you can run your proven code in production.