News for hackers. Stuff that matters.

drpacman

drpacman on Hacker News

Re:The internet discovers TLA+. Now what? on Sunday September 27, 2026 @03:37PM (#49870076)
This is a lovely little course on TLA+ by Lamport himself - has some great wigs too https://lamport.azurewebsites.net/video/videos.html