Welcome! I am a programmer and erstwhile math major. Here you will find projects I have worked on, notes I have written, and things I have made.
I have a particular interest in language and mathematics. I hope to focus on formal logic and language in my career; I am currently working as a compiler engineer.
Résumé is here