Original link: AWS will pay devs to verify Rust standard library because of 7,500 unsafe functions and enormity of task / DevClass.
Rust is mempory safe by default, but it allows unsafe blocks.
Obviously unsafe blocks need to be implemented very careful.
Apperently the Rust standard library contains 7500 functions with unsafe blocks.
So now AWS wants to get those 7500 functions checked. That makes a lot of sense.