man, I'm so glad you cleared that up for us...
1,337 karma · joined September 7, 2023
man, I'm so glad you cleared that up for us...
He explained why 0 isn't the goal, you continue to act as if he didn't. I don't know where else this conversation can go without you going back and better understanding his actual point.
It's easy to say "safety is about tradeoffs" but then when you follow it up with an insistent that no tradeoffs should be made it kind of makes it seem like you're just saying that to appear reasonable rather than actually being reasonable.
This is most definitely the paragon that should be helping us decide which large swathe of people to fuck over.
In fact, one of the red flags for decision makers is the inability to understand the above tenet.
the guy is a whistleblower, went to court day 1, missed court day 2, and was found dead in his vehicle of unnatural causes.
attaching the adjective vacuous doesn't actually strengthen your point.
> That is bad. But not as bad a FBW system bug.
The event in question is better than the plane plummeting out of the sky and killing everyone. That doesn't make it ok for the event to have happened.
There is no world in which two institutions with plenty of money, knowledge, and a lack of coercion are going to come to an agreement for a loan with 50% interest.
Theory vs practice. In theory what you're saying could happen, in practice it's only going to happen when one party has a severe imbalance against the other party (and you know this or you wouldn't have tried to head off that argument). Since contract law deals with practice, contract law disagrees with your assessment that it should be allowed.
Which goes back to the whole ownership thing.
Just because someone _can_ draw up a contract to muddy ownership to the point that the seller of a $30k+ USD vehicle can retain control and absolutely limit what the purchaser can do does not mean contract law should allow it.
And there's too much precedence for this sort of thing for you to have a leg to stand on (although I'm sure you'll try). Just because someone _can_ sign a non-compete with no expiration does not mean the law should allow it.
ad nauseum.
Arguing that because contracts today muddy ownership so you can't act as if the purchaser has certain rights is missing the point.
but humor aside, the point stands. safety/security is about tradeoffs.
The point Herb was making is that "rigorous memory safety" isn't the only bar, nor should it be. Saying there is no way to make C++ have rigorous memory safety is not the same as saying C++ can never be made safe.
> Old code that can't be understood needs to be rewritten anyway.
I don't think it's that old code can't be understood, you can always understand what code is doing mechanically.
it's a question of can you predict the consequences. For example, if I rename this database column, what in our systems that have been built over the last 30+ years will explode? That's data rather than code, but the underlying idea is the same.
What happens is the very act of rewriting it puts you at risk of adverse effects.
I dislike this argument because rust unsafe code is typically placed into a module with safe code around it protecting it.
Guess how good C++ code is written?
exactly. The unsafe keyword certainly helps but is not a panacea nor a guarantee given that a bug in the safe code that's protecting the unsafe code could be the root cause for security issues, even if it manifests itself in the unsafe code.
That's a serious question, if I open a file for reading and another process writes to it, exactly how is the C++ standards supposed to protect against that?
2nd and 3rd order thinking is a thing.
Does the cost of doing so justify being 100% secure?
most people would say no.
He addressed that, the cost of making it to 0 would be too great (C++ would have to break backwards compatibility) so we should try and be inline with other languages instead.
I don't understand why you're acting as if he didn't make the point he made.
under what circumstances is it acceptable for your instrumentation to go away? none is the answer.
If the event was caused by the instrumentation going away it's bad. If the instrumentation went away because of the event, that's also bad.
replace right with humans, the left is also known for lying, which is why both sides are constantly bitching at each other.
The extremes of both sides are just as shitty. One side would create harm via religion, the other side via reputation destruction.
I see nothing wrong with people speculating over something like this.
When I was young no one really questioned ads in television shows, when I got to uni I kind of stopped watching anything but cable. Then netflix came out and I dropped cable alltogether. Every once in a while I find myself watching television at someone elses house and the constant ads completely destroy any enjoyment of the entertainment, even if I never really questioned it as a kid.
that's how the web is for people who don't run ad-block. They have no idea what it can be.
The most I have to do is set the monitor layout and KDE/gnome work exactly like windows with a graphical UI.
I get it. You prefer wayland, as do many people. You can push wayland without making things up about X. Honestly, if X fixed the screen tearing issue I'm not sure there would be a strong reason to prefer wayland over it other than technical purity.
I, and many others, disagree and think that's a heinous abuse despite the argument that both parties willingly entered into the agreement.
Tesla is not the government. Toyota is not the government.
stop it.
For example, you offer up that just because I own a car doesn't give me the right to murder people with it (stupid, but you went for it so let's roll with it). The level of control being exerted by software is such that I couldn't _stop it_ from happening regardless of my ownership status if a 3rd party decided it wanted my vehicle to murder people.
the ownership thing is a red-herring from someone who is trying really hard to be smart but they're missing the point entirely.
Put another way, It's the tail wagging the dog. "You don't _really_ own it, therefore 3rd parties have the right to exert that level of control over you" when what's being protested is the level of control being afforded 3rd parties. ownership is just the mechanism.
you can't legally create a contract that allows you to charge 50% interest on a loan. You shouldn't be able to create a contract that allows a 3rd party to dictate what you can, and cannot do, with a vehicle they sold you. That should remain solely in the hands of the government (which is why your car murdering people analogy was stupid).
you purchase a video game from your religious friend and they decide you shouldn't be allowed to play the game between 8pm and 8am and they have the ability to ensure you can't.
their ability to limit you isn't a social construct, it's as strongly bound as physical violence, and that's the problem.