It turns out that, given a set of constraints defining a particular problem, deriving an efficient algorithm to solve it is a very difficult problem in itself. This crucial step cannot yet be automated and still requires the insight of a human programmer.

we have anxious salarymen asking about the theft of their jobs, in the same way that’s apparently done by immigrants