The TLA+ Video Course

Posted by thepace on Wednesday December 23, 2020 @03:00AM
from the lamport.azurewebsites.net dept.

( 3 comments | 62 points | on HN )

Re:The TLA+ Video Course by fithisux on Thursday December 24, 2020 @10:32AM (#25528307)

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

Best warning ever. Gum is also an option!

[ Parent | on HN ]

Re:The TLA+ Video Course by AirMax98 on Wednesday December 23, 2020 @04:21PM (#25522352)

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.

[ Parent | on HN ]

Re:The TLA+ Video Course by leeuw01 on Wednesday December 23, 2020 @11:21AM (#25519173)

Looks very interesting! Thanks for sharing.

[ Parent | on HN ]