Programming is hard. Not because our hardware is complex, but simply because we’re all humans. Our attention span is limited, our memory is volatile — in other words, we tend to make mistakes. Computers and software are everywhere: in space, in the air, on the ground, on and even in…