Here to verify, there's a fair bit of software where the state of the art is in Rust. How it happened so quick is a little surprising, but here we are.