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 onmy homepage.

I'm a PhD student at theUniversity of Utah advised byBen 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 theUniversity of Utah. You can see my employment history on my résumé onmy homepage.

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. ¯\_(ツ)_/¯

PinnedLoading

1. rhombus_dynrhombus_dynPublic

   Dynamic annotation for Rhombus

   Racket 3

2. utahplt/TrackedFloats.jlutahplt/TrackedFloats.jlPublic

   Julia library providing tracking of floating point errors through a program resources

   Julia 37 3

3. emacs-bedrockemacs-bedrockPublic

   [Mirror] Stepping stones to a better Emacs experience

   Emacs Lisp 114 8

4. lambda-x86lambda-x86Public

   Lambda Calculus compiler targeting x86, written in Racket

   Racket 10

5. muKanren_readingmuKanren_readingPublic

   [Mirror] A close reading of the μKanren paper.

   Racket 42 1

6. amethystamethystPublic

   An elegant Emacs setup optimized for non-technical writers

   Emacs Lisp 114 8