social.coop is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Fediverse instance for people interested in cooperative and collective projects. If you are interested in joining our community, please apply at https://join.social.coop/registration-form.html.

Administered by:

Server stats:

488
active users

I find it hard to teach capability-based access control. One issue is that the only concrete reference is Unix, and that combines both ACLs and capabilities. The design is clever but a side-effect is that the overall picture becomes muddled in students' minds.

I could imagine a vaguely Unix-like OS that is entirely capabilities, no ACLs. And I could imagine some kind of diagram or animation showing how capabilities flow around the system. Is anyone ahead of me on this? Hmm... maybe next year.

@stephenrkell

The people at #Spritely have a project called #Goblins that implements object capability security.

It's implemented in Guile (also Racket), which can be learned quickly by eager students, particularly since you only need a subset of the language to play with #Goblins

spritely.institute/goblins/

spritely.instituteGoblins: Distributed Programming — Spritely Institute

@monkey1 This looks really neat -- thanks! Always interested in new distributed programming models. I will take a closer look.

@cwebber @monkey1 Thanks! Lots to digest. I can already tell that some of my students will appreciate the nice accessible critique of ambient authority.