Right, in effect you break down the possible function states along with a more rigorous form of targeted unit testing.

I don’t believe they used coq, but the sel4 Linux kernel is one of the most famous formally verified applications/systems.

https://github.com/seL4/l4v

The way to beat vulnerabilities is to use formally verified building blocks in my opinion.

You should look into Coq as it seems to have some good traction.

https://coq.inria.fr/

deleted by creator

Removed by mod

Removed by mod

Short-sightedly.

Of course that’s how sanctions work… against nations. Linux isn’t a country, it’s not an American asset. They could have resisted. Linus chose not to.

Do they? They could have just isolated those commits as sanctioned and added a warning. Linux hates Russians as a Finn, so didn’t need much convincing to remove them.

I would be singing a different tune if our allies invading other countries at the moment were also sanctioned, but that’s not the case.

As it stands, let the individuals escape the nation state punishment. They didn’t start this war, and likely don’t support it.

It’s on sa, so ok.

Removed by mod

Exactly. All the hype and excitement over a locked down arm ecosystem with evaporating battery life advantages. No thank you. Development efforts are better served elsewhere. I would prefer the Linux community ignore it rather than support it over RISC-V.

Steam Deck has been cited by a number of articles.

Redox looks like it’s up and coming, hopefully something useable pans out from it once cosmic is rolled out of alpha.

Microkernel is an uptime and security benefit on modern hardware.

This is what I was think also. Just let the host rproxy the requests and just map the dns to the host in opnsense.

The only issue is not having a simple backup interface and feature in general. Has this been addressed yet? How are snapshots with ZFS on Incus?

It’s almost like the whole customized apps to fit into the GTK framework concept creates too much added work and needs to be rethought.

I don’t understand why someone should choose any GTK variant when they’ll have to refactor and rewrite their application every few years.

deleted by creator

Removed by mod

Removed by mod

Removed by mod