Dan Connolly

That's good, but it loses "correct by construction". I would check with @leithaus before losing that from the abstract. (But see also #30)

Comm events certainly are atomic. They fit the [definition of transaction](https://en.wikipedia.org/wiki/ACID_(computer_science)) to a T: > ... ACID as shorthand for Atomicity, Consistency, Isolation, and Durability... . These four properties describe...

twitter advance search does provide this, currently: - [capabilities chialisp (from:dckc)](https://twitter.com/search?q=capabilities%20chialisp%20(from%3Adckc)&src=typed_query) - [dckc 11 Aug 2021](https://twitter.com/dckc/status/1425325084533829638) - [cohen's reply](https://twitter.com/bramcohen/status/1425341202258268163)

https://genode.org/news/genode-os-framework-release-23.11

@leithaus 's Boulder 2018 talk, to wit: - [Day 4 \- RChain VM \- Greg Meredith & VM Developer Team \- YouTube](https://www.youtube.com/watch?v=3R3IL1bGm0s&t=617s) cited from: [my notes on RChain Devcon Boulder](https://www.madmode.com/2018/boulder-bos)...

> For Endo-as-Docker-but-JavaScript-but-actually-confined, in the first cut, I’m raking my cues from early Git. .git/refs are pet names. .git/objects is a merkelized CAS. you can certainly do worse than `.git`...

`endo store BYTES petname` is like rholang `new petname in { petname!(BYTES) }`, which corresponds to a rhoVM `put` of BYTES at some new key, and then binding `petname` to...

Now how do `endo spawn` and `endo eval` relate to rhoVM? Let's see... The rhoVM `get` (aka consume) instruction includes a key and a continuation. If there's a value waiting...

hm... running in cloudflare workers? Do the storage APIs line up?

> hm... running in cloudflare workers? @zarutian has some related work: [durableVats.mjs](https://gist.github.com/zarutian/dc9e8a480e3021b6c3842f162fc37222#file-durablevats-mjs) and such.