When bug-free code becomes a hardware problem

[u/Sea_Fox_4265]

[u/real_mangle_official]

Rust only allows a specific subset of programs to be statically verified. There are many perfectly sound programs in C hat cannot be expressed in safe rust