> Memory safety is already a solved problem Most famously in Rust. Even there it takes work. The problem is a practical coding work efficiency (and quality) o

> Memory safety is already a solved problem Most famously in Rust. Even there it takes work. The problem is a practical coding work efficiency (and quality) one. You are right that there are no intractable memory problems even in the unsafest least helpful languages.