hazel - ∃x∈creatures reading this. x understands this message

email: hazel at this domain
mastodon: @hazel@types.pl
twitter: @sonicisdead
libre.fm: gayzel (my music taste is better than yours)
matrix: @hazel:fairydust.space
xmpp: hazel@lain.faith
telegram, discord: email me, but I prefer matrix

I'm a first-year undergraduate at Indiana University, majoring in computer science and pure mathematics.
I'm interested in programming language theory, and like languages with strong type systems. I think computer theorem provers and formal methods are cool. I also like drinking water and taking naps.
When referring to me, you should use they/them pronouns.

- Eyelashes occasionally get caught in eye
- Inconsistent circadian rhythm
- Gender

blog(9) git(8) resume(5)