| 00:26 | <brad4d> | I'm curious about "membranes" - can anyone point to something that explains them? |
| 00:26 | <brad4d> | I don't see anything on the realms proposal or its explainer as I expected to. |
| 00:28 | <rkirsling> | brad4d: heh, I think it has to be TC39's #1 "most discussed and least understood" topic |
| 00:29 | <shu> | this is the one i know: https://tvcutsem.github.io/js-membranes |
| 00:29 | <shu> | but it is perhaps out of date at this point |
| 00:32 | <Bakkot> | shu / brad4d: https://github.com/ajvincent/es-membrane |
| 00:33 | <shu> | so long |
| 00:38 | <jridgewell> | I found the two Cutsem articles most helpful, mainly because of their drawings |
| 00:38 | <jridgewell> | 1. https://tvcutsem.github.io/js-membranes |
| 00:38 | <jridgewell> | 2. https://tvcutsem.github.io/membranes |
| 00:39 | <shu> | tom's a great guy |
| 00:39 | <shu> | i wonder what he's up to |
| 00:42 | <jridgewell> | There's also the Membrane invariants, described a bit at https://docs.google.com/presentation/d/1HWM_pREmpz7QN9VrNeFt5T-x6CfKBL06pXhiQcxgfgU/edit#slide=id.g463771ef80_0_75 |
| 00:43 | <rkirsling> | I haven't seen these Cutsem ones but they do seem more readable |
| 00:43 | <rkirsling> | I think I attempted to read the one Bakkot linked before |