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/

The new Total Recall. It’s a fun ride.

deleted by creator

Hopefully the Egg is revealed.

Yep, 3. I like to explain things to people, now I get to be the smartest person in the room for a while. It’s great.

Signing up to take care of and be at the whims others is less “individualist” than the alternative. News at 11.

On my old commute, there was this one really long red light with a u-turn and merging road to the right you could take. Since the merging road was there, a right turn was allowed.

On busy traffic days, you could take the u-turn if the light was turning red and just go and skip it with a right turn. Pretty sure it pissed people off, but it was legal as far as I could tell.

More money just makes it harder to leave. It’s like testing your pain tolerance.

If you told people tomorrow that they could live without worrying about losing their place to live with a reasonable amount of food. Assuming they could buy the necessities of life with a few niceties… most people would stop caring about money and worrying so much.

What society is doing to people, turning them into monthly bill calculators is ridiculous and stress/fear inducing. These are imaginary bullshit systems we’re forcing people to become experts on.
A big chunk of it is to ensure that the top of ladder stays the top, so they distract distract distract.

If I could survive comfortably and support my family while helping people fix and improve their living spaces at Lowe’s, that sounds like a wonderful way to live…

This is an evolved trait. Cute babies are less likely to be eaten. Over time, babies become more cute because they were selected for.

Is there a Lemmy app that can show the same communities from multiple servers on the same feed? Like all subscribed news@‘s in one?