fae @fae@awoo.space
eclipse smoke and gay dreams. queer, trans. i like music, art, geometry, and combinations thereof. "if we can challenge the gender binary, we can challenge prisons" -- Dr. Angela Davis
follow requests ok, but please introduce yourself if we haven't interacted
Joined Oct 2017
person i know / have worked with at [school] offered to try and get me an affiliation there so i don't have to deal with ppl being weird about my research, and on the one hand it's tempting bc it would open doors but otoh part of me wants to stay unaffiliated just for spite against this shitty broken system 😜
to understand the kind of person i married you should know that i was changing the sheets this weekend and a literal bat skull fell out.
it's friday night so u know what i'm doing https://awoo.space/media/W9imWK8RaFTYvrPLImE
[googles "is it hard to write a programming language"]
this morning i set up my js lib to run a typechecker just to see what happened (what happened was 1500 errors)
i want to teach people math but i'm worried i would damage them beyond repair so maybe it's good that no one is accepting the offer
please remember to cw political posts, i know dramatic things are happening and i'm staying informed but i have to ration my exposure and i don't want it sprung on me in a social space.
i tried oikospiel last night and it's really good
getting burned out on being like, punctual and responsible lately, i need to do something extravagantly immature when this week is over
i submitted the final draft of the abstract for my triangle billiards talk! it's at http://faec.me/files/billiards.pdf if you want to see ^^
anyway if you're an eccentric billionaire who wants to cover my bills while i work on this problem full time, hmu
mathematical proofs have 3 main uses: to give (albeit contingent) certainty, to give understanding, and to serve as a tool / component in reasoning, and imo the traditional model falls down in all three.
it makes sense why we ended up here, historically, but we've learned a lot in the last few decades about how to make formal structures useful and readable by humans and almost none of it has percolated back to mainstream mathematics
i know i go on about this but mathematical notation is like a programming language where there is a single global namespace for everything, no objects or encapsulation, and function / variable names are only allowed to be one character long
why are we not fixing this
so we just went to an italian restaurant and were served part of the time by this kid who was maybe 14, child of the owners, and the instant i saw them i'm like "oh you poor girl" and then at the end of the meal their mom comes over and asks how i do my hair cause when she tries to dye her son's [sic] hair blue it always fades really fast and then after she walked away i saw them asking her about it and she's like "i'll tell you what they said later" <_<
call me vain but i am looking cute today https://awoo.space/media/cnLt2G3rEuQ3duraZMY
math is fake
kiddo had a field trip to plymouth plantation today and she just told me about a "pilgrim cosplayer" she saw there
a bird named after emmy noether just pooped on my notes about noether's theorem
eclipse smoke and gay dreams. queer, trans. i like music, art, geometry, and combinations thereof. "if we can challenge the gender binary, we can challenge prisons" -- Dr. Angela Davis
follow requests ok, but please introduce yourself if we haven't interacted
Joined Oct 2017
