Alba 🌸 
hi i'm a poly lesbian catgirl who loves hummus, kernels and gfs 🏳️⚧️
I'm pretty strict about only boosting stuff with alt text. i try not to post/boost unCWed politics
RE: @h4ckernews@mastodon.social
i was a bit skeptical but i think i agree with nearly every design decision here, even if i find the arguments a bit iffy sometimes. like when it calls malloc 'fiction', when the point of a standard library is to create fictions (some would say abstractions) so its users don't have to deal with lower-level aspects
i find it an affront to hacker culture that flipper has transfems in it and yet isn't on fedi
in the lean zulip you're encouraged to introduce yourself in a specific channel and I would like to but (as usual) the feeling that it's not a space i belong in, especially after seeing how everyone has their PhDs and is working in cool math stuff
and i'd be like haiiii
i'm just messing around, have contributed some lemmas to agda's stdlib and that's kinda about it