3 ms·
Programmers can't be trusted to do this kind of free-form reasoning correctly, as attested by the unending stream of security vulnerabilities arising from undef
by MaxBarraclough 6y ago
Programmers can't be trusted to do this kind of free-form reasoning correctly, as attested by the unending stream of security vulnerabilities arising from undefined behaviour in C and C++ codebases.
The push for safe languages is motivated by pragmatism, not theoretical purity.
- bluGill 6y agoThe push back that performance matters in the real world still exists. I want a secure language, but I don't have enough spare CPU for some
- MaxBarraclough 6y agoThe performance of modern Rust is competitive with C++.
- bluGill 6y agoWhich is why I told my boss I want some time to play with rust to see how it works in our real world.