I can see how advancing those areas would empower membranes to be better at self-defense.
I’m having a hard time visualizing how explicitly adding concept, formalism, or implementation of membranes/boundaries would help advance those areas (and in turn help empower membranes more).
For example, is “what if we add membranes to loom” a question that typechecks? What would “add membranes” reify as in a case like that?
In the other direction, would there be a way to model a system’s (stretch goal: human child’s; mvp: a bargaining bot’s?) membrane quantitatively somehow, in a way where you can before/after compare different interventions and estimate how well each does at empowering/protecting the membrane? Would it have a way of distinguishing amount-of-protection added from outside vs inside? Does “what if we add loom to membranes” compile?
I can see how advancing those areas would empower membranes to be better at self-defense.
I’m having a hard time visualizing how explicitly adding concept, formalism, or implementation of membranes/boundaries would help advance those areas (and in turn help empower membranes more).
For example, is “what if we add membranes to loom” a question that typechecks? What would “add membranes” reify as in a case like that?
In the other direction, would there be a way to model a system’s (stretch goal: human child’s; mvp: a bargaining bot’s?) membrane quantitatively somehow, in a way where you can before/after compare different interventions and estimate how well each does at empowering/protecting the membrane? Would it have a way of distinguishing amount-of-protection added from outside vs inside? Does “what if we add loom to membranes” compile?
right, yeah, i think precisely formalizing boundaries is less useful for the cyborgism angle