RE: https://aus.social/@maddyunderstars/117127750677454333
FEP-49eb: Batched Inbox Delivery
I've wanted batched inboxes for a while, and so here's a FEP for how you might do that.
My big problems with this currently are:
- The `object` of the `Add` is a `Collection`, which would usually mean to add the collection obviously, but here we add the collection's items. It's like this because we need to add some metadata such as start time and ordering, and we can't edit the activities themselves because then the proofs fail when those extra properties are removed when forwarding to other servers. Further, editing the activities might lead to conflicts, and using a prefixed prop like 'fep-49eb:ordering` just leaks that batching was used if forwarding was to happen without removal
- The capability discovery here is annoying I think. I didn't want to add a new `batched` inbox property on actors because then it's completely incompatible with multibox, and I want multibox to remain optional here too.
https://codeberg.org/MaddyUnderStars/fep/src/branch/feat/fep-49eb/fep/49eb/fep-49eb.md
@nikitonsky For a while I was thinking about a language where the semantics of brackets was user-definable at compile time. You could have (a,b,...) assemble one sort of list, and [a,b,...] assemble a second sort, and then similarly “applying” (juxtaposing) the expression E to the object from [a,b,...] might perform an array lookup on E or something like that.
My main idea was to permit the programmer to choose and define notations for things like sets, bags, tuples, and vectors, and for array and hash subscripting to be controllable and not hardwired into the syntax. But I'm sure that `|x|` was one of my example use cases.
Some paper of @pigworker has a horrible hack in which `Ii x y z … iI` is defined so as to perform a certain sort of computation, with `Ii` and `iI` playing the role of brackets `Ii` has a typeclass defined so that `Ii x y z...` accumulates the `[x, y, z, ...]` at compile time, and then `iI` is some unique value with a special type that triggers the compiler to figure out that it has seen the whole list and should actually do the thing.
No mention of atmospheric pollution, of course, because the FCC doesn't give a shit about that. With SpaceX's 5 Starlinks a day a few months ago, we were well above natural infall rates of most metals, so 1 (presumably) gigantic satellite per hour will be a lot worse than that.
My colleagues and I wrote a bit about using the atmosphere as a satellite crematorium here, and it's bad: https://theconversation.com/a-new-space-race-could-turn-our-atmosphere-into-a-crematorium-for-satellites-276366
@KatyElphinstone I need more Crush My Soul, but I currently don't have anyone who wants to do that.
My cat tries post melt, but he is only 8 lbs
The unix/cloud team I was part of until today is/was about 50% women.
Today, two colleagues messaged me separately to say that they primarily took the jobs because I was in the interview, and when they saw another female unix hacker, they realised this might be a good place to work.
If my role is tarot-bothering tattooed gothic-techno hacker mum-figure, then I'm very good with that.
My points are that representation fkn matters, and I'm kind of unemployed.
I understand that.
My main concern is that they can...
a) identify me and/or
b) locate me.
Therefore, any kind of money trail could prove disastrous.
From a "network resilience" point of view, where "content survival" is the prime objective, I agree.
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.