Work here never ends.
Adaptation. Given my extreme negative reaction to Being John Malkovich (a movie that pushed many of my buttons), I went to see this with some trepidation. In the end I found I didn't enjoy it very much; Malkovich, while personally disturbing, was more expertly made on every level. I found the self-referential quality of Adaptation more irritating than clever. There were interesting parts, but it didn't live up to the hype I'd heard.
Revolution OS. This is playing in town now. I went to see it at a film festival and was disappointed. It has no emotional hook.
Someone leaked a Sun memo about the pitfalls of Java. I read bits of it. It was interesting, though I see it largely as a condemnation of one particular implementation.
Lately I've been looking into bytecode verification again. It turns out that the libgcj verifier has some bugs (and the gcj verifier has rather more). I've been wondering how I could ever have confidence in a verifier implementation. A large-enough test suite would help, but it would hardly be definitive. Maybe someone can write a proof for a program like this. That would be genuinely interesting.