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

This is why I switched also. More and more reports of NPM just breaking out of the blue.

Do they use the replicator when they’re not moving? Maybe they’re just picking up some hydrogen along the way?

Seems like high energy particles are easier to convert into new elements than low energy ones. Perhaps they’re transcribing uranium with the ingredients. Who knows.

A cup of tea is around 500megatons if you convert all the matter into energy. We’re talking a few thousand Hiroshimas.

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.

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.

Removed by mod

Removed by mod

Removed by mod