Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Using TLA+ to Model Cascading Failures. Parent comment
James Hamilton is a fan of TLA+, and talks about its use in Amazon: https://perspectives.mvdirona.com/2014/07/challenges-in-desi...
There are no comments on this comment yet.
James Hamilton is a fan of TLA+, and talks about its use in Amazon: https://perspectives.mvdirona.com/2014/07/challenges-in-desi...