fae @fae@awoo.space

(he likes climbing in the bottom drawer to nap so i've put some unwanted clothes in there so he can nest comfortably 😜)

so pleased w/our new organization system. there's a drawer for gym shorts/tanks, a drawer for socks, a drawer for ferrets...

@shoofle oh that's no problem, u cd design an arduino project that outputs interesting midi patterns :D

@shoofle my advice from these sorts of projects is to invest in visual / tactile tooling as early as u can, but prioritize a hacky design that lets u be expressive quickly over a more flexible/robust one with a deferred payoff

if the project survives long enough, u can come back and do things the "right" way, but i find the expected longevity of a project jumps immensely the second it hits the threshold where i can easily generate and "see" a lot of test examples

i just now noticed kiddo's away message is "lunar eclipses DO NOT look like new moons" and i'm like "u're correct" and she says "my science teacher said they look like new moons!!" and i'm like whAT

@shoofle my hot take is that symbols that the aforementioned shitheads can't resist vocally objecting to on shallow pretenses are good actually specifically bc they compel ppl to self-identify

@shoofle ...this... is basically, unaltered, the sentiment of a lot of kingdom hearts fans

@shoofle counterpoint: no dads no masters

@shoofle fun fact: take any (possibly infinite, etc) surface. consider the group of closed paths on it. pick any set of generators for the group.

the growth rate of the number of distinct possible paths by taking the product of n generators depends (up to constant factor) only on the surface, not on the generators u chose.

(in particular, it will be either polynomial or exponential, depending on whether the surface is hyperbolic)

@shoofle arguably my whole line of billiards research is a proof of concept for ideas that were originally motivated by computational complexity and its imo underexplored links to entropy and communication complexity and type theory

it's... arguably rather a long diversion, for a proof of concept, but maybe someday it will circle back xD

hot take: the clay institute millenium prize has been bad for mathematics

@packbat .......[wistfully] home✨

[eye contact, rat] me n my rat bf

[monologues to her rats about how a "code sequence" is actually an element of the fundamental group of the double-triangle, via its projection from the free group on two generators, and it has a natural product operation which is _totally not_ the composition operation they're using in that paper and it makes it so much harder to parse, and reflects sadly that by even admitting she knows this much jargon she has become that which she hoped to destroy]

we just found this 2018 paper on our favorite research problem (obtuse triangular billiards) https://arxiv.org/abs/1808.06667

and, arrrgh,

they hit on important ideas! but also some parts are much messier than they need to be... and we know many improvements to their basic language and methods!... but we don't actually have any like, tangible theorems that would make our cache of weird specialist knowledge into a Paper... or any contacts who would care...

we need billiards friends

@shoofle https://en.wikipedia.org/wiki/Ego_death

@shoofle well this explains why no one has faved my billiards tweets yet

@packbat (that's... an inaccurate summary but, anyway it's a neat construction ^^)

@packbat another variant might be working thru examples of the sunzi theorem / "chinese remainder theorem," which is kind of like if each digit is a different base :D https://en.wikipedia.org/wiki/Chinese_remainder_theorem