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
ok mastofriends who wants to learn math and physics with me in 2018
light a candle for the longest night. the light returns.
if you haven't played brendan's previous game, birdland (birdland.camp), i highly recommend it. teen girl detective, queer romance, extraterrestrial birds.
(conversation about bilateral symmetry of *sonas)
me: well, any kind of slime or goo sona breaks that.
partner: or could, if pressed.
explained my frustration with go to kiddo by asking her to imagine having to write a story without verbs
so she spent the whole trip to school trying to do that
boob joke
if u had a robot body with boobs u could call the cleavage ur "uncanny valley"
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
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
