imgcat@lemmy.mltoLinux@lemmy.ml•Are we going to see arch based immutable distros in the near future?
2·
5 months agoWhat matters is the important stuff like deciding what package format to use, how to handle the biggest bugs, default filesystem, systemd or not, and who gets to decide all this stuff and so on. Some distros follow the company decision and some do not. Get it?
Ada SPARK is not dying at all, it’s growing. It is used where formal proof is required like and Rust is nowhere near that!