from Hacker News

The TLA+ Video Course

by thepace on 12/23/20, 8:00 AM with 3 comments

• by fithisux on 12/24/20, 3:32 PM

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

  Best warning ever. Gum is also an option!

• by AirMax98 on 12/23/20, 9:21 PM

  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.

• by leeuw01 on 12/23/20, 4:21 PM

  Looks very interesting! Thanks for sharing.