(Ah yes dunno why I went for "Texan", not that I am even half-good at desouping the 2)
I was just thinking a few hours ago, that baby seems to be squalling for "quantales". Have you ever asked an LLM about it? I have.. it's good I don't remember what it said, because it seems to be too adult a name, & I don't feel like I've ever made such a kid of myself.
I did algolia what you wrote about it, tho. Hows the Kleene implementation? It should actually be immediately useful to me!! (And... You win!!)
The introduction of the cipher 0 or the group concept was general nonsense, too, and for a thousand years or two mathematics was more or less stagnating, because nobody was around to make such childish steps . . .
--Letter to R. Brown
The sea is still rising around the imp; that kernel has yet to be rubbed away... Will work harder on it, when I'm not yakking on HN :)
I did try a couple of LLMs but although they were useful in figuring out how to organise a writeup, they were just glazing when it came to developing the theory. A friend's recommendation of a topology book has actually been far more directly useful.
If we view the "inner party" as being Russell's farmer (instead of his chicken, to whom "more refined views as to the uniformity of nature would have been useful"), then, although the capital accrues via Matthew Effect, at least all residents can count on food, shelter, health care, and decent access to education. Our proles would be the cross-border workers, who sleep in a different country (and count on their unemployment stats during recessions) — and possibly EU people here on the freedom of movement agreement? (I know little about this agreement; it came about after I got here)
U3: looks pretty rationalist to me so far. (otoh our proles recently voted for a 13th old age pension without first demanding an accounting of from where it would be paid) I especially like how the referendum process allows decoupling recognition of problems from attempts at their solution. Certainly being a small country (pace Tito?) helps avoid the temptation of monumentalism. see also https://www.worldvaluessurvey.org/wvsimages/Cultural_Map_202...
IKEA: IK was Kamprad, who is EA? (aha, not who but what: Elmtaryd Agunnaryd) Unix pipelines treat everything as a monoid of bytes; what if we could deal with (loopable) quantales of bytes instead?
U: First win, then score