If that last bit truly isn’t a joke, let me be the first to point out that moving to memory-safe languages will not eliminate vulnerabilities. It won’t even rea

If that last bit truly isn’t a joke, let me be the first to point out that moving to memory-safe languages will not eliminate vulnerabilities. It won’t even really be close. Formal proofs of correctness would probably get us closer to software that is bug-free, but literally nothing is a panacea, and at the scale of attack surface we’re dealing with most of the extreme options (even including “rewrite it in a memory safe language”) are too big to foresee happening in the short or mid-term in any meaningful way.