I like systems programming, compilers, and automated reasoning.