News for hackers. Stuff that matters.

A comment on Mathematical Reasoning and Distributed Systems by Erik Meijer and Leslie Lamport. Parent comment

Re:Mathematical Reasoning and Distributed Systems by Erik Me... by senderista on Sunday December 11, 2016 @03:22PM (#13152977)
BTW, TLA+ has spread to Oracle because the guy that introduced TLA+ at Amazon (Chris Newcombe) now works at Oracle Cloud (along with a bunch of other senior AWS talent).
[ Parent | on HN ]

There are no comments on this comment yet.