I study programming language theory and system software; have interests include fiction, history, and math.