Rust Is Memory Safe, but Logic Bugs Still Occur - SPARK Ada Can Help | Not Hacker News!