Programming Based on Mathematical Algorithms

Given enough eyeballs, all bugs are shallow.

Testing can only prove the presence of bugs, not their absence.

[This] reminds me of a quotation from somebody that, whenever he tried to explain the logical structure of a programming language to a programmer, it was like a cat trying to explain to a fish what it feels like to be wet.