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/

Because we can’t agree on needs and trusted software due to liability reasons.

The brightest minds in the field can come together and give standard recommendation for use cases using free software, but they don’t. We have billionaires who could fix this problem with a snap of a finger, but they won’t.

Problems are profitable. You can’t sell a solution to a boring mature field.

Have you tried enacting change and getting third party elected? Are you seriously blaming the voters as if they ever had more than 2 choices?

deleted by creator

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

I’m going to go on a less extreme take. They’ve been told from childhood they live in the land of opportunity, yet they work in dead end jobs or working fields.

They see money flying away every paycheck they live week to week on while being pumped propaganda (that people in suburbs and urban areas don’t see) that shows people who look different from them getting gov’t housing and getting programs funded with their tax dollars.

The same party they now demonize supports ridiculous looking gay parades that show a mentality they don’t understand, so they begin to hate. They wake up morning after morning in the same place with no change, and they stew and stew and stew.

So now they basically give up and see a hyper-masculine wannabe saying all the things against those who are different, and the long encrusted anger starts spewing out.

Most of the comments here are ignorant and hate filled against the wrong people. It’s not the MAGA supporters that did this, it’s the system. We need to stop polarizing ourselves with hatred and point the finger at those truly responsible. Not the poor (literallly) voters who are so dejected and living in decay that they just don’t give a rats ass anymore.

The more you hate the other side, the less you see the truth. The goal is to make you hate them. The goal is to make them hate you. You can’t define an entire person in a paragraph.

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.

It’s real. I’ve seen it happen with the high concentration dabs. Ended with a hospital stay.

I think it’s worse. I think we have noble houses fighting for the throne again. The Bush family, the Clinton family, they wanted Michelle Obama… In what sane democracy does the family member or wife of the last elected leader make sense as being the best option? Forget oligarchy, we have a straight up monarchy brewing with a nice democratic paint job.

People keep claiming this without any context. He said a subset of those who enter illegally are the worst Mexico can throw at us. He never claimed all Latinos. This is hyperbole on repeat, and the left wonders why the right ignores everything they say about Trump.

It’s basically frustration based propaganda at this point. Don’t know if you recognize it.

Removed by mod

Removed by mod

Removed by mod

Removed by mod

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.

Removed by mod

Removed by mod