Hacker News new | ask | show | jobs
by sanxiyn 2412 days ago
WebAssembly got formal semantics with formal proof of soundness. PNaCl (and LLVM) still doesn't.
1 comments
pjmlp 2412 days ago
Politics, and yet it doesn't have bounds checking support.
link
The_rationalist 2412 days ago
BTW chrome webassembly is 2 time slower than pnacl.
link