@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
@knit@tilde.green@mildsunrise meow whoa! i like hummus too it is rly tasty ;v;
all 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????
all 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@tech.lgbt@knit awwwww, thank you 
you seem cool too :3