‹ BackHN Continuity

Thread

The internet discovers TLA+. Now what?

128 points · 71 comments · matt_d

  1. drpacman · · focus · HN ↗
    This is a lovely little course on TLA+ by Lamport himself - has some great wigs too <a href="https:&#x2F;&#x2F;lamport.azurewebsites.net&#x2F;video&#x2F;videos.html" rel="nofollow">https:&#x2F;&#x2F;lamport.azurewebsites.net&#x2F;video&#x2F;videos.html
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.