Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on TLA+. Parent comment
I'm guessing this is the video series for anyone looking for a link https://lamport.azurewebsites.net/video/videos.html
There are no comments on this comment yet.
I'm guessing this is the video series for anyone looking for a link https://lamport.azurewebsites.net/video/videos.html