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 UK-AL on Tuesday March 21, 2017 @06:30AM (#13920996)
He worked for Microsoft research, so not surprising.
[ Parent | on HN ]

There are no comments on this comment yet.