Post

every time I've fixed an exploitable memory safety vulnerability in C/C++, I do it by noticing the code's violations of Rust's borrowing rules and then I translate the idiomatic Rust solution back to C/C++.

Similarly, I expect programmers that have used Typescript but are working on Javascript code will tend to imagine type annotations on every variable, and then they'll regularly find bugs in Javascript code by noticing where this is hard to do.