> Now I am writing async lock free, and the compiler is helping me prove it is data-race-free and memory safe. I am writing async lock free code as well, but w

> Now I am writing async lock free, and the compiler is helping me prove it is data-race-free and memory safe. I am writing async lock free code as well, but which compiler is helping you? Rust? As far as I know, it's cutting edge research to figure out a type system that fixes this for you. But maybe i'm not up to date. > stuff gets better so fast that we get to reimplement the same thing So you are leaving the API in-tact and just change the implementation with new techniques? Or even better, you just rewrite low-level libraries you are using? Sounds like the ideal job to me.