they seem to focus on correctness over features. So jails for example would be a lot of complexity. Rust, if I am not mistaken, has some quirk with the compile

they seem to focus on correctness over features. So jails for example would be a lot of complexity. Rust, if I am not mistaken, has some quirk with the compiler backend that OpenBSD does not like. Theo also mentioned: >Such ecosystems come with incredible costs. For instance, rust cannot even compile itself on i386 at present time because it exhausts the address space. Regardless: The system being secure is a secondary benefit to it being comprehendible and coherent to an individual. It's not enough for the output of a magic box to be a better widget, even if the widget is better in every measurable way. The box itself must not be magic.