A few more important examples of important leaky abstractions that we might worry about protecting/enforcing:
Casual interventions (as “uncaused causes”, ala free will).
Boxes that don’t leak information (BoMAI)
Making a more complete list would be a good project
A few more important examples of important leaky abstractions that we might worry about protecting/enforcing:
Casual interventions (as “uncaused causes”, ala free will).
Boxes that don’t leak information (BoMAI)
Making a more complete list would be a good project