Writing code is not mechanical and deterministic. Executing code is mechanical and deterministic. As much as possible, anyway. Code has bugs because people don

Writing code is not mechanical and deterministic. Executing code is mechanical and deterministic. As much as possible, anyway. Code has bugs because people don't think like computers.