Your comment reminds me of another thought I've had, which is that debugging is the part of programming that's closest to empirical science. You're faced with a

Your comment reminds me of another thought I've had, which is that debugging is the part of programming that's closest to empirical science. You're faced with a piece of reality (a running system) and you don't know how it works.