Closing the Gap Between Rust and C++ Using Principles of Static Analysis | Hacker News Reader