Hi, and welcome to my site. My name is Thomas and I'm computer scientist, programmer, and enthusiast. My site can be navigated entirely via the tree on the left, and the links along the top point to some friends' sites, my personal git hosting, and my github page.

My interests within computer science include programming language design, type systems, and low level/systems programming. Outside of computers, I am also interested in art, philosophy, games, and tea.

Short descriptions of my more interesting completed projects can be found under projects. Descriptions of problems I find interesting, my current technical musings, and my ongoing projects under Dev Log. Nontechnical writings and other miscellaneous tidbits are under Blog. Take a look around!