Hi! Bonjour! Привет!
I’m a PhD candidate in computer science at Carnegie Mellon University and a Debian Developer.
My professional ambition is to do beautiful mathematics that are relevant to computer science.
I’m generally interested in the semantics of programming languages and foundations of mathematics.
My current work involves reasoning about session-typed languages using domain theory and category theory.
See my blog for my musings on computer science, mathematics, and languages—spoken or otherwise.
A version of this site is also available over Gopher (HTTP proxy).
Recent Blog Posts
Every math student at some point runs across "folklore" results. Paul Taylor gives an entertaining description of what "folklore" means in a comment on Andrej Bauer’s blog: This result is folklore, which is a technical term for a method of publication in category theory. It means that someone sketched it...
Though I study programming languages for a living, I also study natural (human) languages for fun. I think that it is generally useful for PhD students (and researchers and authors in general) to study a new language. In this post, I will give two arguments to support this claim. Sense...
I use a custom keyboard layout based on the Programmer Dvorak layout, where numeric keys are accessed using shift. Accessing number keys via shift is also present on, e.g., the bépo layout. Over the past several months, I’ve noticed that more and more websites use validation that prevents me from...
I recently had to fill in a form on the USPS website requesting me to reconfirm my email preferences. They were kind enough to prepopulate all of the fields with my account data. However, when I went to submit the form, it complained with “You must enter a valid email...
A year ago, I wrote a post on Configuring CMU SCS printers on Linux. SCS Computing Facilities is rolling out a new single-queue print system, where you fetch your job from the queue to a particular printer using your ID card. They don’t provide instructions for configuring this on unfacilitized...