I am a software engineer living in Columbus, Ohio, and a lifelong student of computer science, with specific interests in programming languages, type theory, compilers, and math. More about me.

Recent Posts

…or you can find more in the archives.