Software has a luxury of being discrete most of the time. So we can actually do discrete―and automated―checks on whether something works as we think it should.

Software has a luxury of being discrete most of the time. So we can actually do discrete―and automated―checks on whether something works as we think it should. Humans only read the end result, and even that isn't always necessary. In fact, maybe NASA should have similarly ‘unbendable’ (cough) software checklists. The temperature is 39ºF? Red color says no launch today.