education session: translate .js to .rho

[dckc]

What's left:

• add timestamps

• make it easy to find from rholang.github.io

• We ran the session Sep 13

• recording: https://www.youtube.com/watch?v=4GN8dTDaDJI&feature=youtu.be

---

Max: Btw @dckc: I think j2rho is crucial for increasing developer onboarding to the RChain platform.

dckc:: oh... one cool way to start is to have sessions where a bunch of js devs manually translate .js contracts to .rho . "come learn smart contracts and capability security" could be the pitch

https://discord.com/channels/375365542359465989/700696110980792381/702998801958305792

[dckc]

10:38 AM] dckc:: MadMode: Dan Connolly's tinkering lab notebook: https://www.madmode.com/
MadMode: Code: https://www.madmode.com/search/label/capabilities/
MadMode: My Capability Security 2017 Wish-List | Code: https://www.madmode.com/2017/ocap-wish-list.html
dckc/awesome-ocap: Awesome Object Capabilities and Capability Security: https://github.com/dckc/awesome-ocap
Secure smart contracts - Agoric: https://agoric.com/
Electronic Rights Transfer Protocol - ERTP | Documentation: https://agoric.com/documentation/ertp/guide/#how-it-works
(10) Agoric + Protocol Labs // Higher-order Smart Contracts across Chains - Mark Miller - YouTube: https://www.youtube.com/watch?v=iyuo0ymTt4g&list=PLhuBigpl7lqth_Ow_eQWZs7NFxmeDw9W8
[12:16 PM] Rao:: http://asyncobjects.sourceforge.net/asyncscala/
[12:18 PM] nuttzipper:: https://wsargent.github.io/ocaps/examples/
[12:19 PM] dckc:: ocaps in 10 pages http://erights.org/elib/capability/ode/index.html
[12:19 PM] dckc:: Miller MS
Robust composition: towards a unified approach to access control and concurrency control
Ph.D. Thesis, Johns Hopkins University; 2006.
[12:19 PM] dckc:: http://www.erights.org/talks/thesis/markm-thesis.pdf
[12:22 PM] dckc:: https://www.typescriptlang.org/docs/handbook/type-checking-javascript-files.html#supported-jsdoc
[12:26 PM] tgrospic.: Sound typechecker for JS
https://github.com/JSMonk/hegel
[12:30 PM] jimscarver:: https://www.youtube.com/watch?v=sfIMOu2Gktg
[12:32 PM] dckc:: agoric on ts / js https://twitter.com/DeanTribble/status/1293629071218241537
[12:33 PM] dckc:: https://en.wikipedia.org/wiki/Zooko%27s_triangle
[12:33 PM] dckc:: ^ re petnames
[12:33 PM] dckc:: https://js2rho.netlify.app/doc/js2rho-talk.html

policies as types