I'm not banking on any language shift at the moment but could see a plausible case in the past for Ada and maybe now Rust after some more years of maturity both

I'm not banking on any language shift at the moment but could see a plausible case in the past for Ada and maybe now Rust after some more years of maturity both down to the metal. But both of these suffer from some awkwardness around the toolchain for integration into a traditional BSD right now, at least Rust may overcome that in time. syskaller is in use by the major BSDs and stricter compilers and other static analysis tools have been a far bigger impact IMHO than the OpenBSD style mitigations. I would like to actually see some kind of case studies where OpenBSD mitigations have protected a user where they'd have been let down by say Linux or FreeBSD or OpenBSD without them. I think a less snake oil approach to security is done by the seL4 folks, the difference in approach makes the *nix security mitigation people somewhat cringe worthy.