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!
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!
What 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?
Pretty much zero for most users
In contrast to Debian (through Canonical), Fedora (through Red Hat) and openSUSE (through SuSE), Arch has literally no (in)direct ties to enterprise.
LOL Fedora and opensuse are copying from the commercial distros, but Debian is not copying Ubuntu (literally the opposite)
“application”, not “app”. Please don’t let phone tech companies enshittify our language.
They’ll be all replaced by simple AIs
And yet it still works better than a MB of JS
A week? Rookie.
Price driven consumption has been done by industrial users for decades. And countries like UK has been storing energy in storage heaters at home for decades as well. EVs can do wonders here.