Chipmonk comments on «Boundaries/​Membranes» and AI safety compilation

[Chipmonk]

I have just updated the post to add more details about Mark Miller’s Object-capabilities model.