I haven’t tried Psyco, but it sounds intriguing. It’s a clever just-in-time compiler for Python. It inspects the types of objects at run time to compile away the dynamism of the language, speeding up execution without changing the semantics. And you have to admire the effort that goes into creating a video-game-styled animated slide show explaining the inner workings.