the pumping dilemna: there are a sequence of s people tied to a railroad track, s drawn from regular language L. if s is big enough, you can pull a lever l, you can split s into subsequences x y z, such that the trolley only hits y, the subsequence x z is still in L.
very much so
enjoying the pace of hour-long breaks per loc while trying to put some atproto records fetching stuff on a serverless function as a theory person in the midst of frequent power outages
territory with no map
Funny to receive this as a notification
I am at least *thinking* about my pure math baby again
Real analysis paralysis (where someone is overthinking how to prove a theorem) when fake analysis paralysis walks in (the kind that gets into a spiral after disrespecting Bolzano-Weierstrass)
"therapists keep jumping a sinking ship of uni counseling spaces" = therapists launching themselves
It seems that your problem isn't that S0 launches into S2 to S4 to... ad infinitum
But the therapists/counselors keep launching themselves
So you only have S0 that doesn't launch itself into Sinfinite but the ones who could launch it into Sinfinite keep launching themselves