there is Gloire OS based on the Iron Clad kernel, partially formal proofed written mostly in Ada, their git repositories can be found in Codeberg, there is Genode OS which follows Qt style GPL with caveats, where one corporate entity sells commericial licenses, and holds full copyright through CLA
I think the rewrite on rust will depend on gccrs becoming more mature which will take some time
stop promoting paper waste and increasing the effort to treat the water
is this an XOR or OR?a
s/Zed/Zig
how is Aurora less secure than PlayStore directly? GOS devs literally never make sense, and of course they recommend a app store that doesn’t even properly label non open/free apps distincly, it is not like they evwr cared about FOSS just vague “security” theater
because graphene devs don’t know what they are talking about, they never do
iPhone L moment
wdym piss is great
I think it is more common among autists
uncut
I don’t think that google pay is useful anyhow
have they tried award the corporation providing the service it self not the CEO? again the CEO that has no idea how starlink actualky works and is just a useless techbro oligarch who probably doesn’t even know how to write hello world in python and doesn’t basic laws of physics
worst part of GTK
thats the vanilla
you forgot the oldest of them all, Debian and the its museum, their repos
and also we have a generic term for GitHub like things, they are called forges, in this case (GitHub) it is a forge for git (the underlying SVC powering it) only
different name same dog
I don’t know, never tried them even in a vms myself