docs: draft: Intro to Hardened JS

[dckc]

todo:

• publish the 8 minute makeMint video segment on its own
• zero-install dev env zero-install / cloud-IDE option for getting started with agoric-sdk agoric-sdk#7032
• turn into slides with remark?
  • https://hackmd.io/@ZFlbCaR1Q06UzHk6tcn2dg/rk1yMNeQF#/5
• remove brainstorm appendix
• get team decision on whether this belongs on master, and if so, is this the right directory?

[michaelfig]

Here's a first pass. Looking pretty good!

[michaelfig]

Here's some more edits.

[dckc]

Integrating slides looks more invasive than I would like.

In my searching, all roads lead to Presentation | vuepress-theme-hope. Adding a whole theme seems risky.

[dckc]

use makeMint as focal point of Hardened JS

@michaelfig @katelynsills @erights I think I figured out how to fit this material with the rest: build up to makeMint, at which point readers are qualified to study ERTP etc.

TODO: publish the 8 minute makeMint video segment on its own

[dckc]

@rowgraus this is the video I want to publish on its own:

Watch: the mint pattern,
an 8 minute segment starting at 25:00 in

• Agoric + Protocol Labs // Higher-order Smart Contracts across Chains - Mark Miller - YouTube.

It's the punch-line for these slides now: https://github.com/Agoric/documentation/blob/js-hardened-intro/main/platform/hardened-js.md#electronic-rights-mint-and-purse

the rest is ordinary programming that's not that special to Agoric or OCaps:

https://github.com/Agoric/documentation/blob/js-hardened-intro/main/platform/json-justin-data-expr.md

[erights]

Thanks! Just watched and I agree that those 8 minutes are coherent and powerful by themselves. Good choice!

[dckc]

fun with hackmd slides: https://hackmd.io/@ZFlbCaR1Q06UzHk6tcn2dg/rk1yMNeQF
https://hackmd.io/jHfqwBhnRteUIk_bI27wvQ?both

[dckc]

fun with code visualization:

• counter example on JavaScript Tutor
• mint / purse on JavaScript Tutor

[dckc]

overtaken by #579