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 stcredzero on Wednesday April 13, 2016 @01:50PM (#11490465)
This is also why I am of afraid of a self driving cars and other such life critical software. There are going to be weird edge cases, what prevents you from reaching them?

Formal systems?

[ Parent | on HN ]
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 ]