@mildsunrise@tech.lgbthi everyone :) I like to do varied stuff with computers, sometimes more cursed sometimes less, when depression allows.
I'm interested in both low level stuff (RE, embedded systems, Rust, OSes), high level stuff (Haskell, Agda, Coq, F*, proof assistants in general) and things in between (graphics, SDR, A/V, a bit of electronics).
I also like hummus!
#introduction
@mildsunriserandom things I forgot to add:
- polyamorous furry transbian
- likes cool type systems, weird languages
- learning lambda calculus, logic, foundations
- a bit into math & data science (but please be gentle math is hard okay?)
@mildsunriseseveral people have asked about my cover image: it's a Brainfuck interpreter written in Haskell 
I used to do these sorta things when I got bored in class; the pinnacle of achievement is a Brainfuck interpreter I wrote in Whitespace check it out https://gist.github.com/mildsunrise/60a516da83d448ba1363a7deac361515
@mildsunriseand if you're wondering why I'd do such a thing, the answer is I'm masoc--I mean, esolangs are ideal when your teacher forbids you from using laptops in class and the subject is boring and you need something to pass the time
@MiaWinter@mildsunrise that sounds... challenging
@agatha@mildsunrise that's absolutely amazing
@mildsunrise@agatha just imagine how bored I had to be
@mildsunrise Those are both a special kind of mixed up. I approve. :)
@MiaWinter@mildsunrise Well, I do have some experience with self harm (programing stupid stuff way to complicated)
@mildsunrise@MiaWinter *high five*
Faux around & find out
@camstonefaux@furry.engineer@mildsunrise I like hummus too. And graphics stuff… oh, and nice to meet you.
@mildsunrise@camstonefaux yay, likewise :)
@knit@tilde.greenall computery stuff goes over my head but its really fun to see text appear on my screen :3
i should try to get into oses again... and also haskell, i enjoyed a haskell or two in my days,,,,
really cute pfp btw????? eyo????
@mildsunrise@knit awwwww, thank you 
you seem cool too :3