Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
senthil_rajasek
on Feb 23, 2020
|
parent
|
context
|
favorite
| on:
Learn TLA+ (2018)
Here is a video of Leslie Lamport presenting TLA+ at Build 2014. It has a nice intro to TLA+ from the creator of TLA+ himself!
https://channel9.msdn.com/Events/Build/2014/3-642
twelvechairs
on Feb 23, 2020
[–]
Its always a joy to watch Leslie Lamport. He's one of the few people in computer science that are really worth looking up to. Everything he says and does is incredibly eloquent and purposeful.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://channel9.msdn.com/Events/Build/2014/3-642