Compiler/PL friends…roast me!

I'm working on one of the last chapters of @WasmGroundUp, "What Makes WebAssembly Safe?"

I'm hoping I can explain it in a way that's both approachable, and also…not totally incorrect from a PL perspective. Feedback on either is v much welcome!