4 ms·

>There will be further bugs, and we will learn further lessons; there will not be a single magic technology that solves everything. Interesting change of attit

by amasad 10y ago

>There will be further bugs, and we will learn further lessons; there will not be a single magic technology that solves everything. Interesting change of attitude! I was just watching a talk[1] from a couple of years ago where Vitalik says "there are a substantial number of applications where you can actually say yes 'I am 99.9 percent certain this is bug free'". Amazing how much a few years of industry practice can humble a young software engineer. [1]: https://youtu.be/cahj4WJtp20?t=43m45s https://youtu.be/cahj4WJtp20?t=43m45s

Eliezer 10y ago
True at NASA and in many other places that spend 100x as much per line of code, albeit it's more like 95% surety.
- amasad 10y ago
  They also spend a lot of time building robust systems that can recover from errors (e.g. the famous story about the guidance computer on the Apollo 11 recovering from cycle stealing and overflows).
knocte 10y ago
100 != 99.9
- amasad 10y ago
  Do you think you can get to a 100% certainity in anything let alone software?