= 27d567bc2d48d9f40e9ccc20ea370b15)
Decius comments on Humans can drive cars - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (86)
For applications of fewer than 300 LOC, "Fewer than one defect expected" certainly meets a loose definition of "Bug-free".
As an example of a program with no defects, I put forth the Overpower Scram Logic for a particular pressurized water reactor. It runs on specialized hardware which can be diagrammed fully in the documentation, but is normally shown as a 'black box' with several digital and one analog input, and one digital output.