Well, the difference is that we aren't living in the web. So even if the web goes down, the rest of the internet is still there and even without the internet we would survive.
So if we would live within the web, I would certainly demand to formally verify every web app before it would be deployed.
Re:Why I’m quitting GMO research
by thaumaturgy on Wednesday March 28, 2018 @09:40PM
(#16703868)
There is no hypothetical scenario for ecological collapse caused by gene editing that, when critically examined, doesn't look like arguing for a flat Earth.
Conventional agricultural practices are already causing massive ecological devastation. Gene editing is a very good solution to that problem.
This is frankly ridiculous. You describe yourself as a computer scientist and presumably have no expertise in the field and then use your gut feeling about how well people understand the consequences of their efforts? I know plenty of people who think that I'm just typing words and random until my code compiles.
Demanding that we are able to model living organisms in computers before we can productionize gmo tech is like saying that we can't deploy any web app until it has been formally verified in Coq.