fae @fae@awoo.space

partner at the airport, looking at my luggage: that's full of books, isn't it
me: there are... a few books?
partner: you have like seven books in there don't you
me: that's not a lot!!

ftr i counted when i got here and there were 12 <_<

i don't have remotely the context for an informed opinion on politics here but yknow, i'm easy, tell me "there's a minority whose government was partially dismantled and language was banned in living memory and now some of them want independence" and i'm all over that shit

[realizes one could use webassembly to do real-time synth stuff in a web environment] oh shit

u know when some bullshit is going down and u freeze up but then 6 hours later u think of the perfect thing to say? visiting a country where u're learning the language is like that but for literally every interaction

periodic invitation: come join my queer math collective! no prior experience needed, just enthusiasm

that goes for math and queerness i suppose although i think most of u are already doing pretty ok on the latter

yesterday i submitted the change i've been working on for months, so today i took a vacation day and i'm in a cafe studying triangles

i want to curl up and nap in the sun

growing

i love how visible the different families are https://awoo.space/media/Q-HTkUqJJvz2o0FngOc

(level i'm aiming for is "has done some functional programming / basic formal logic but is fuzzy on exactly what "lambda calculus" actually is)

it is thursday and i got a date with some triangles 💞✨

i'm running it on 125000 data points right now, and it should be done by 8am tomorrow

this is neat

annnnd now i can do it in 17 minutes

well sort of :-P i added a toggle that disables the final exact verification. this can give a small number of false positives (< 0.1% in practice), so i can't use it for formal / guaranteed bounds, but for generating large amounts of exploratory data it is awesome

the dataset i used for my triangle project last year was generated piecewise over ~2 months, but by the time it was done, the tools had evolved to the point that i can produce a fresh dataset of the same size in 8 hours. that's pretty cool.