Post

The mechanism of coding was largely solved by the mid-1960s: we knew how to tell a machine to do anything computable. What wasn’t solved, and arguably can’t be, is knowing what to tell it, confirming it’s right and keeping it right as requirements shift.