News for hackers. Stuff that matters.

A comment on Learn TLA+ (2018). Parent comment

Re:Learn TLA+ (2018) by senthil_rajasek on Saturday February 22, 2020 @07:47PM (#22394360)
Check the video I posted in the comments. Leslie Lamport goes into how Amazon Cloud services team uses TLA+.
[ Parent | on HN ]

There are no comments on this comment yet.