Hacker News: drpacmanhttps://news.ycombinator.com/user?id=drpacmanHacker News RSShttps://hnrss.org/hnrss v2.1.1Sat, 24 Oct 2026 16:49:50 +0000<![CDATA[New comment by drpacman in "The internet discovers TLA+. Now what?"]]>This is a lovely little course on TLA+ by Lamport himself - has some great wigs too https://lamport.azurewebsites.net/video/videos.html

]]>Sun, 27 Sep 2026 19:37:27 +0000https://news.ycombinator.com/item?id=49870076drpacmanhttps://news.ycombinator.com/item?id=49870076https://news.ycombinator.com/item?id=49870076