I am a PhD candidate at the University of Utah. I make programming languages for distributed systems via metaprogramming. You can see my publications, employment history, etc. on my homepage.
I support free and open-source software. To that end, consider following me on Codeberg instead of here—that's where most of my new work goes anyway.
What's the deal with the username? 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. ¯\_(ツ)_/¯