" No one can say the same about a C++ program, not with certainty." Formal proof is a thing, so I think you can. "Hello world" would be easy to verify. Verify

" No one can say the same about a C++ program, not with certainty." Formal proof is a thing, so I think you can. "Hello world" would be easy to verify. Verifying transmission on the other hand, is a kind of big project on its own, though. And I agree, that there are no perfect programmers around, but I would also agree to parents point, that if I want to have full power, I fully want to remain my right for footguns. It all remains a tradeof. The ecosystem of C++ is just incredibly bigger than rust, so a new game, I would start in C++, but for something critical I would probably also choose rust.