see about.

formal logic
media
databases
theory of computation
algorithmic game theory
programming
computability theory
calculus
linear algebra
emacs
graph theory
machine learning