News for hackers. Stuff that matters.

A comment on WebVM: WASM virtual machine in browser with networking via Tailscale. Parent comment

Re:WebVM: WASM virtual machine in browser with networking vi... by titzer on Friday October 07, 2022 @09:46AM (#33121224)
We weren't unaware of these things. Wasm is the first low-level format to instantly have broad availability, becoming available in all web browsers in 2017. AFAICT none of the previous formats had low overhead platform-independent in-process sandboxing, and certainly none had a machine-checked proof of type system soundness.

So Wasm has a few legs up on what came before.

[ Parent | on HN ]
Re:WebVM: WASM virtual machine in browser with networking vi... by pjmlp on Friday October 07, 2022 @10:18AM (#33121667)
If we ignore PNaCL and CrossBridge.

As for how sound the type system is in the face of attacks at the Flash, ActiveX and Java applets scale, it remains to be seen, although there are already some USENIX papers slowly coming up regarding WebAssembly actual security.

[ Parent | on HN ]