2 ms·
WebAssembly got formal semantics with formal proof of soundness. PNaCl (and LLVM) still doesn't.
by sanxiyn 7y ago
WebAssembly got formal semantics with formal proof of soundness. PNaCl (and LLVM) still doesn't.
- pjmlp 7y agoPolitics, and yet it doesn't have bounds checking support.
- The_rationalist 7y agoBTW chrome webassembly is 2 time slower than pnacl.