Hii people of Fedi!

I'm a CS student doing programming language development (type theory in particular), assisted theorem proving and computer art as hobbies :)
I'm also interested in kernel developement, game developement, emulation, audio synthesis, and embedded systems. Generally, everything that involves programming cool stuff :3

My current plan in life is to work for a few years in the most interesting and morally good job I can find, then try to get a doctorate in type theory.

I mainly plan to post type theory, albeit at a beginner level, as well as rants about the jankiness of current computing. There is a big gap between what I feel a computer _should_ be and what it currently is, and I spend quite a lot of time thinking about how to shrink it.
If I ever manage to gather the courage, I'll post some art too.

I'm new not only to fedi but to profile-based social media in general - as opposed to forum-based. Please, tell me if I ever make any typo or grammatical mistake. I'm pretty shy online, even socially anxious, but I'd like to use this platform to affirm myself more. I'll be posting some bad art and bad takes, and that's gonna be fine... (probably..?)

I'm pleased to meet you all!

#introduction