| 22:58 | <asumu> | shu: BTW, we were thinking of starting to draft some spec text for this proposal and help draft some more documentation with examples of the semantics (corner cases, etc), if that sounds like some useful next steps we can help out with. WDYT? |
| 23:00 | <shu> | sure, be happy to review |
| 23:01 | <shu> | though tbh i don't think spec text is the most helpful next step |
| 23:01 | <shu> | for non-shared structs this is probably fairly straightforward and a worthwhile exercise |
| 23:01 | <shu> | err |
| 23:01 | <shu> | for shared structs more exploration is needed i think before writing specese |
| 23:05 | <asumu> | That sounds fair, we can focus on just the non-shared part for now. Do you have any thoughts on other useful next steps? |
| 23:23 | <shu> | i was planning to take the time to think through different ways to make the proposal marginally safer than full-blown unordered races while still supporting the WasmGC eventual goal of supporting Java |
| 23:23 | <shu> | would certainly welcome thoughts there |