undefined | Better HN

0 pointspjmlp4mo ago0 comments

We have all seen how well it gets surfaced automatically at AWS.

0 comments

There might be plenty of potential failures that we haven't all seen, simply because the problems were fixed after TLA+ modeling brought them up.

pjmlpOP4mo ago

Or it might be that the model doesn't really avoid all possible human failures when translating TLA+ into Java, C++ metatemplate programming, or whatver.

j / k navigate · click thread line to collapse

0 pointspjmlp4mo ago0 comments

We have all seen how well it gets surfaced automatically at AWS.

0 comments

zozbot2344mo ago

There might be plenty of potential failures that we haven't all seen, simply because the problems were fixed after TLA+ modeling brought them up.

pjmlpOP4mo ago

Or it might be that the model doesn't really avoid all possible human failures when translating TLA+ into Java, C++ metatemplate programming, or whatver.

j / k navigate · click thread line to collapse