Hey! I'm a senior at Northwestern researching programming language pragmatics. I'm a big fan of beautiful abstractions and human-made software.

Here are some cool things I've made:

• rhyolite, my Vulkan rendering engine
• micromusic, my Apple Music miniplayer
• mndco11age.xyz, my personal website

And here are some of the might-be-cool-if-you're-into-it, research-y things I've worked on:

• stlc-termination, my proof of termination for the simply-typed lambda calculus
• trace-contracts-324, an operational-semantics model of trace contracts built in PLT Redex
• r-compile-server, a just-in-time compilation infrastructure for R

Please note that I will never accept PRs with commits made by GenAI agents. Your code is much better when you write it! Believe in yourself!