……Leslie 亲自给工程师上课时用的就是这些视频，讲得非常管用。(4) Hillel Wayne 的《Learn TLA+》（https://learntla.com/introduction/），一份学习 TLA+ 的免费线上资源。(5) Hillel Wayne 的《Practical TLA+》（https://www.apress.com/us/book/9781484238288），我自己买了这本书，它是学习 PlusCal（一种转译为 TLA+ 的类伪代码语言）以及 TLA+ 全貌的绝佳入门书。强烈……
…Leslie teaches courses to engineers in person, he uses these videos. They're effective. (4) Learn TLA+ by Hillel Wayne (https://learntla.com/introduction/) A free online resource for learning TLA+. (5) Practical TLA+ by Hillel Wayne (https://www.apress.com/us/book/9781484238288) I own this book, and it is a great introduction to PlusCal (a pseudocode-type language that transpiles to TLA+) and TLA+ in general. Highly…
I've invested a fair amount of time into learning TLA+, have bought Hillel Wayne's book (Practical TLA+), and found his stuff super valuable. However, if I could do it again, I would have started in the following order: - 1. Watch https://www.youtube.com/watch?v=-4Yp3j_jk8Q - 2. Watch all of https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...…
…circuit modeling. I can't tell you where to learn about that. I think Hillel Wayne's learntla website is pretty good to get a few more practical examples: https://learntla.com/. I actually thought his Practical TLA+ book was a bit better for that though: https://www.amazon.com/Practical-TLA-Planning-Driven-Develop... Both of those resources are more PlusCal focused. PlusCal is a C/Pascal-like language that compiles…
I can recommend Hillel Wayne's book "Practical TLA+". It helped me understand scenarios where TLA+ specifications and the modelling approach would be essential in discovering bugs before writing any code. (Still waiting to put my fledgling TLA+ knowledge…
《Practical TLA+》确实是个极好的起步切入点，而且 Hillel Wayne 写的关于形式化方法（formal methods）的文章都通通值得一读。Lamport 的 TLA+ 书以及《Specifying Systems》在网上都能免费看到（https://lamport.azurewebsites.net/tla/book.html）。……
Practical TLA+ is indeed a great place to start, and Hillel Wayne's writing out formal methods is all worth reading. Lamport's TLA+ book, and "Specifying Systems" are both available online (https://lamport.azurewebsites.net/tla/book.html).…
我读过 Hillel Wayne 的《Practical TLA+》，写得是真通俗易懂，还看过几个相关的 talk。我自己也收集各种 TLA+ 的使用案例。我觉得这个理念真心是个好主意，也非常想把它用起来。我最大的痛点在于……
I've read Hillel Wayne's "Practical TLA+", which is a very good introduction, and watched a couple of talks on it. I also collect case studies of TLA+ usage. I find the concept really a good idea and would love to use it more. My main issue…
……Leslie 亲自给工程师上课时用的就是这些视频，讲得非常管用。(4) Hillel Wayne 的《Learn TLA+》（https://learntla.com/introduction/），一份学习 TLA+ 的免费线上资源。(5) Hillel Wayne 的《Practical TLA+》（https://www.apress.com/us/book/9781484238288），我自己买了这本书，它是学习 PlusCal（一种转译为 TLA+ 的类伪代码语言）以及 TLA+ 全貌的绝佳入门书。强烈……
…Leslie teaches courses to engineers in person, he uses these videos. They're effective. (4) Learn TLA+ by Hillel Wayne (https://learntla.com/introduction/) A free online resource for learning TLA+. (5) Practical TLA+ by Hillel Wayne (https://www.apress.com/us/book/9781484238288) I own this book, and it is a great introduction to PlusCal (a pseudocode-type language that transpiles to TLA+) and TLA+ in general. Highly…
我投入了不少时间学 TLA+，买了 Hillel Wayne 的书（《Practical TLA+》），觉得他的东西含金量极高。不过，如果让我重新学一次，我会按下面这个顺序来搞：- 1. 看 https://www.youtube.com/watch?v=-4Yp3j_jk8Q - 2. 看完这个列表里的所有视频 https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...……
I've invested a fair amount of time into learning TLA+, have bought Hillel Wayne's book (Practical TLA+), and found his stuff super valuable. However, if I could do it again, I would have started in the following order: - 1. Watch https://www.youtube.com/watch?v=-4Yp3j_jk8Q - 2. Watch all of https://www.youtube.com/watch?v=p54W-XOIEF8&list=PLWAv2Etpa7...…
……电路建模。这块我没法告诉你去哪儿学。我觉得 Hillel Wayne 的 learntla 网站挺适合看一些更实际的例子的：https://learntla.com/。不过其实我觉得他的《Practical TLA+》那本书在这方面做得更好：https://www.amazon.com/Practical-TLA-Planning-Driven-Develop... 这两个资源都更侧重 PlusCal。PlusCal 是一种类似 C/Pascal 的语言，它会被编译成……
…circuit modeling. I can't tell you where to learn about that. I think Hillel Wayne's learntla website is pretty good to get a few more practical examples: https://learntla.com/. I actually thought his Practical TLA+ book was a bit better for that though: https://www.amazon.com/Practical-TLA-Planning-Driven-Develop... Both of those resources are more PlusCal focused. PlusCal is a C/Pascal-like language that compiles…
我非常推荐 Hillel Wayne 的书《Practical TLA+》。它帮我理解了在哪些场景下，TLA+ specification 和建模方法对于在动手写代码前揪出 bug 来说是不可或缺的。（还在等机会把我刚入门的 TLA+ 知识……
I can recommend Hillel Wayne's book "Practical TLA+". It helped me understand scenarios where TLA+ specifications and the modelling approach would be essential in discovering bugs before writing any code. (Still waiting to put my fledgling TLA+ knowledge…
《Practical TLA+》确实是个极好的起步切入点，而且 Hillel Wayne 写的关于形式化方法（formal methods）的文章都通通值得一读。Lamport 的 TLA+ 书以及《Specifying Systems》在网上都能免费看到（https://lamport.azurewebsites.net/tla/book.html）。……
Practical TLA+ is indeed a great place to start, and Hillel Wayne's writing out formal methods is all worth reading. Lamport's TLA+ book, and "Specifying Systems" are both available online (https://lamport.azurewebsites.net/tla/book.html).…
我读过 Hillel Wayne 的《Practical TLA+》，写得是真通俗易懂，还看过几个相关的 talk。我自己也收集各种 TLA+ 的使用案例。我觉得这个理念真心是个好主意，也非常想把它用起来。我最大的痛点在于……
I've read Hillel Wayne's "Practical TLA+", which is a very good introduction, and watched a couple of talks on it. I also collect case studies of TLA+ usage. I find the concept really a good idea and would love to use it more. My main issue…