Besides what you already know, I just want to point out a couple of other differences: 1) Harvey Mudd has more stringent (and prescribed) gen ed requirements than CMU, especially in the sciences; and 2) CMU offers many more graduate level CS courses than HMC. As other posters have said, either school is a very good choice.