Live data from Hacker News

The TLA+ Video Course

1–4 of 4 posts

Post by thepace » Wed, Dec 23, 2020, 8:00 AM UTC

The TLA+ Video Course
lamport.azurewebsites.net

Re: The TLA+ Video Course

Post by leeuw01 » Wed, Dec 23, 2020, 4:21 PM UTC

Looks very interesting! Thanks for sharing.

Post by AirMax98 » Wed, Dec 23, 2020, 9:21 PM UTC

Have been searching for this for a mighty long time! Could not remember the name of this series. Can’t wait to watch this over the weekend.

Post by fithisux » Thu, Dec 24, 2020, 3:32 PM UTC

"To accompany the videos, coffee will be better than popcorn. "

Best warning ever. Gum is also an option!