On: Rust-GPU: Making Rust a first-class language and e...

[Const-me]

> The VM itself is still going to have unsafe code at some point.

Smaller amount of the unsafe code which is audited, battle-tested, and not extensible by either user nor third-party library developers.

[creata → Const-me]

The same could be said of the standard libary vulnerability you linked. But for other code,

(a) that's why people use cargo-geiger.

(b) you're arguing about the very small number of virtual machines that don't give their users such escape hatches.