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

To be fair, not all reasons are good.

Not here. Vinyl is an upsell.

I’m in the sector, and there are legitimate time and effort savings when used correctly. Code refactoring gets a little smarter than a dumb script, boilerplate code is instantly generated, and real educational topics can be delved into and analyzed.

I don’t want to see it closed off, and I want the data used to train made public. These LLMs have capabilities older scripted systems can never match.

Eventually they will replace workers. Our society is too self-centered to make that a good thing.

If two moving balls hit each other and bounce apart, it’s the exact same thing as if you held the frame steady on one ball and viewed the other ball as moving faster. Just seems like the stationary ball gets heavier…

Perspective is everything.

You sound like me. Shirts at the end of their life go for sleeping. Is went the athletic route, but have switched back after realizing the plastic materials start smelling and get discolored easily (deodorant culprit likely).

Unless you loop on the last day of the worst pain of cancer.

The key difference in planning would be lack of physical object storage. No notes would be retained.

“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.”

Removed by mod

Removed by mod

Sure, and this is why Trump won. The backlash vote against this ignorant rhetoric.

A key takeaway for me is that when people of color and those in inner cities turn to violence, crime, and drugs, we blame the oppressive system for their failings. When people in rural America do the same, we blame them. Just because someone is white doesn’t mean they don’t need sympathy and compassion. We’ve lost the thread of love and acceptance in this country.

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

Mindless Self Indulgence