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

“The team with the most findings.” Lol

“Here are your audit reports. We’ve made them extra spicy this month, just like you like it.”

Hyperloop theoretically, practically who knows.

deleted by creator

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.

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

Removed by mod

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.

Removed by mod

Removed by mod

Removed by mod

You see all of the electric cars on the road now? Tesla saw an opportunity to make money, and it paved a path to lower carbon emissions (eventually). Even the blind chicken catches a worm. Capitalism isn’t all bad, it’s the greed it breeds that’s bad. The world isn’t black and white.