News for hackers. Stuff that matters.

A comment on Leslie Lamport: Video course on TLA+. Parent comment

Re:Leslie Lamport: Video course on TLA+ by justanotheratom on Tuesday March 21, 2017 @12:16AM (#13919837)
Dr. Lamport does courses at Microsoft? More details please.
[ Parent | on HN ]
Re:Leslie Lamport: Video course on TLA+ by ahelwer on Tuesday March 21, 2017 @12:28AM (#13919880)
Only for Microsoft employees, unfortunately! If you work at Microsoft, send me an email (alias is same as username here) and I'll get you added to the TLA+ Outlook group for future course announcements and such.
[ Parent | on HN ]
Re:Leslie Lamport: Video course on TLA+ by scvalencia on Tuesday March 21, 2017 @01:19AM (#13920039)
That's fantastic. Would be a great contribution to people interested in formal methods. How's your email?
[ Parent | on HN ]
Re:Leslie Lamport: Video course on TLA+ by UK-AL on Tuesday March 21, 2017 @06:30AM (#13920996)
He worked for Microsoft research, so not surprising.
[ Parent | on HN ]