News for hackers. Stuff that matters.

A comment on Post-Mortem for Google Compute Engine’s Global Outage on April 11. Parent comment

Re:Post-Mortem for Google Compute Engine’s Global Outage on ... by tremon on Thursday April 14, 2016 @08:09AM (#11495926)
Formal systems are still built on a model of the outside world, not on the world itself FAFAIK. Even if your formal coverage is 100%, you can not anticipate all weird edge cases the real world can come up with.
[ Parent | on HN ]

There are no comments on this comment yet.