hazel - not Heat O'Brien

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
If you're emailing me, please either use PGP or place the word "cactus" in your email so I know you aren't getting it off a list.

I'm a second-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)