dckc
commented
3 years ago 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
What's left:
[ ] add timestamps
[ ] make it easy to find from rholang.github.io
[x] We ran the session Sep 13
[x] 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