Untitled attachment

Notices where this attachment appears

1. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Thursday, 03-Oct-2019 14:08:39 UTC Christine Lemmer-Webber

   @jack Hi! These are great questions. It depends on the kind of ocaps you're doing, first of all! Let me give you two versions:

   - programming ocaps: an object/function has a reference to another object/function. They forward some calls but not all (eg forward only certain methods). No requirement of "shared terminology". http://mumble.net/~jar/pubs/secureos/secureos.html http://erights.org/elib/capability/ode/index.html
   - certificate ocaps (eg zcap-ld): require shared understanding of terms https://w3c-ccg.github.io/zcap-ld/

2. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Tuesday, 10-Sep-2019 11:36:47 UTC Christine Lemmer-Webber

   @karen But the real question is, what is an object? http://www.mumble.net/~jar/articles/oo.html

   MarkM's definition is closer to what you already do, because Mark's definition is closer to Alan Kay / the actor model type directions. But what "object oriented" means is very vague.

   At any rate, ocaps and functional programming can go along great, see http://mumble.net/~jar/pubs/secureos/secureos.html

3. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Wednesday, 31-Jul-2019 16:46:59 UTC Christine Lemmer-Webber

   in reply to

   @deejoe I feel like that OcapPub goes into detail if you want more.

   Personally, my favorite intro was reading http://mumble.net/~jar/pubs/secureos/secureos.html

4. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Thursday, 11-Jul-2019 13:45:00 UTC Christine Lemmer-Webber

   @jorge_jbs I suspect you would enjoy reading http://mumble.net/~jar/pubs/secureos/secureos.html :)

5. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Tuesday, 21-May-2019 18:25:00 UTC Christine Lemmer-Webber

   @alcinnz @freakazoid @grainloom There are probably VMs, though I'd recommend looking at http://mumble.net/~jar/pubs/secureos/secureos.html which isn't quite on the VM level, more about how it applies on the language level. (Maybe you also meant Agoric's current work?)

   However, as for a VM that *can be* ocap secure even wired between instances, look at the wasm-gc spec (aka WASM Managed Objects or less interestingly WASM w/ Garbage Collection)

6. Christine Lemmer-Webber (cwebber@octodon.social)'s status on Tuesday, 07-May-2019 16:22:41 UTC Christine Lemmer-Webber

   Some of the major sources of inspiration for #Spritely:
   - ActivityPub (unsurprisingly)
   - the E programming language https://librsync.github.io/rdiff.html
   - The "Rees thesis" showing that ocaps are actually just sane lexical scope behavior http://mumble.net/~jar/pubs/secureos/secureos.html
   - tahoe-lafs https://tahoe-lafs.org/trac/tahoe-lafs
   - freenet https://freenetproject.org/pages/documentation.html
   - MUDs/MOOs/etc http://www.hayseed.net/MOO/
   - SPKI/SDSI http://world.std.com/~cme/html/spki.html
   - The Agoric Papers http://e-drexler.com/d/09/00/AgoricsPapers/agoricpapers.html https://agoric.com/references/