@mildsunrisehi 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
@mildsunrise Those are both a special kind of mixed up. I approve. :)