- 主题:说软件bug引发出错的都是喷子，油车也到处是软件
嗯，炸出个成功率世界第一呗。
【 在 foureyesdog 的大作中提到: 】
: 空差火箭都爆炸了好多次了。
: 人家炸自己的钱，大家都没有意见的。
:
--
FROM 180.98.133.*
没有任何系统会跟你承诺100%不出错，最多可以承诺99.9999%下不出错。
讨论可能性本质上就是在讨论多少个9。
【 在 FLYBBS 的大作中提到: 】
: 规定条件下不出错还做不到，就啥也别干了。
:
--
FROM 180.98.133.*
软件没bug很容易，刹车这么简单的逻辑上形式化验证系统很容易做到经过证明的绝对没bug。
硬件没逻辑上的bug跟软件本质上是一样的，但到了可靠性分析这里就都是概率。
而且很多事情跟你自己没啥关系，比如来个宇宙射线轰下？
【 在 FLYBBS 的大作中提到: 】
: 世界不光只有pc，还有很多没bug的软件与硬件。
--
FROM 180.98.133.*