The short version
A TLA+ video course taught by Leslie Lamport; recommended as an approachable introduction.
From the HackerLinks archive
Leslie Lamport's TLA+ video course
A TLA+ video course taught by Leslie Lamport; recommended as an approachable introduction.
At a glance:
First seen:2026-09-28
Last seen:2026-09-28
Times seen:1
Website:lamport.azurewebsites.net
Why it caught our attention
A commenter independently points readers to the course and praises it.
Where it surfaced on Hacker News
2026-09-28
“This is a lovely little course on TLA+ by Lamport himself - has some great wigs too”
drpacman · recommendation
Direct HN comment
The internet discovers TLA+. Now what?
Also surfaced in this discussion
Quint
The internet discovers TLA+. Now what?
2026-09-28