>has anyone formalized the idea that the second law can be interpreted as a general inability of computer programs to predict one another?
Arieh Ben Naim thinks entropy is better described by Shannon's Measure of Information. I haven't actually read any of his books, but I've been meaning to "one of these days".