undefined | Better HN

0 pointspjmlp7mo ago0 comments

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

0 comments

2 comments · 1 top-level

zozbot2347mo ago· 1 in thread

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.

pjmlpOP7mo 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