I'm picky about my programming languages—I like exploring new languages and technologies and learning what kind of trade-offs they offer. More about me on my blog.
I'm a PhD student at the University of Utah advised by Ben Greenman.
Right now I'm working on pushing the boundaries of what macro systems can do. I also enjoy writing compilers in Racket and tinkering with type systems. I frequently tweak my Emacs configuration, and occasionally do some light web development with Elixir.
I work as a research assistant at the University of Utah. You can see my employment history on my résumé on my blog.
I picked this username when I was in high school. My biggest claim to fame back then was knowing 100 digits of pi, so I appended the first three digits to my username. ¯\_(ツ)_/¯