Hey, welcome to my personal site & blog 👋🏽
I am a recent graduate of the University of Michigan. I am interested in category theory and type theory, and I looking for work in the software industry.
Some of my other work has been done under a pseudonym.
Latest Posts
# Showing Off Blog Features
5 min read
I am leaving this blog post up to show off the features of the Multiterm Astro theme by stelcodes (stelcodes/multiterm-astro), who is the author of this blog post. This blog post, as well as several…