News for hackers. Stuff that matters.
Re:1Sub.dev – A world where people pay for software by cscheid on Wednesday July 26, 2023 @11:51AM (#36879783)
> Spectre is a bug in the processor, not in the software.

It's a bug in the processor that causes a bug in the software. It's not a bug in your idealized mathematical model, but try telling that to the people who paid you not to leak private keys.

I see my job as an engineer to be to create a product that satisfies the user's expectations (which in this case are eminently reasonable). It matters not one bit that I can point the finger to the chipmakers. I'm still selling something that I now learned doesn't do what I said it would. It's still on me to fix it the best I can. If I care about the product quality, that is.

Re:1Sub.dev – A world where people pay for software by chromoblob on Wednesday July 26, 2023 @12:20PM (#36880264)
The program must not show bugs when run on a hardware with unforeseeable bugs, you call this reasonable?
Re:1Sub.dev – A world where people pay for software by cscheid on Wednesday July 26, 2023 @12:50PM (#36880800)
And yet that's what every good engineer did when Spectre came out. Same with the Pentium fdiv bugs, and same with a host of microcode bugs that come up all the time.

Not my business to decide what you think is reasonable. That's just what happens in the world, and what (in my view) good engineers sign up for.

Re:1Sub.dev – A world where people pay for software by chromoblob on Wednesday July 26, 2023 @01:23PM (#36881357)
The choice is between letting hardware be not finalized and letting that force software to be non-finalizable, and letting software be finalizable and forcing the hardware to be finalized too. I like latter more. Finalized hardware is better by itself as well.
Re:1Sub.dev – A world where people pay for software by ChadNauseam on Wednesday July 26, 2023 @02:00PM (#36882079)
We would all like bug-free hardware, but we won't get it and our job is to write good software in the environment we were given
Re:1Sub.dev – A world where people pay for software by chromoblob on Wednesday July 26, 2023 @02:46PM (#36882852)
> we won't get it

Why do you think so?

Re:1Sub.dev – A world where people pay for software by cscheid on Wednesday July 26, 2023 @02:52PM (#36882949)
> The choice

What choice? I have to fix bugs today as they come.

Re:1Sub.dev – A world where people pay for software by thfuran on Wednesday July 26, 2023 @03:26PM (#36883506)
If you buy a car and the airbags randomly deploy, would you consider it reasonable for the manufacturer to respond "oh, yeah, that'll happen if you drive it on roads rougher than polished stainless steel. You should only be driving on polished roadways"?
Re:1Sub.dev – A world where people pay for software by chromoblob on Wednesday July 26, 2023 @04:29PM (#36884502)
If this requirement was known to me before I bought, sure.

I think that this is a bad analogy to hardware, though. Polished steel roads are unreasonable to ask for, but bugless processors are reasonable to ask for.

Re:1Sub.dev – A world where people pay for software by thfuran on Wednesday July 26, 2023 @06:14PM (#36885932)
No, they aren't. You can only buy the buggy processors that exist, not notional bugless ones.
Re:1Sub.dev – A world where people pay for software by chromoblob on Wednesday July 26, 2023 @08:47PM (#36887328)
As if processors were only sold by alien gods, and processors without bugs were impossible to create.
Re:1Sub.dev – A world where people pay for software by thfuran on Thursday July 27, 2023 @12:05AM (#36888770)
They may not be impossible to make, but they don't get made. And I guess you think Microsoft has been putting bugs in Windows for the last few decades just for something to do, or was that also the influence of alien gods?