Come now, it should be obvious that just because it's theoretically possible to prove that code is correct does not necessarily imply that it's theoretically possible to write such code in the first place.
The bigger problem is that, even if your code is perfect, you're linking with libraries that have bugs, which interact with an operating system that has bugs, and run on a CPU that has bugs. Most of the major bugs in projects I've been involved with lately have come from third-party libraries, hardware or hardware drivers, not our code.
Yeah, most of the bugs that initially looked like compiler bugs turned out to be code bugs, or undefined behaviour. I don't remember which real compiler bugs we ran into, but they were real bugs that the vendor admitted to and eventually fixed.
From what I have seen, the most valuable thing in society in Star Trek's Federation is a position within Star Fleet.
But the lefties keep telling us that Star Trek is a post-scarcity society. So I'll just have my own Starship Enterprise, won't I? Who needs Star Fleet?
If they was then Sony and Microsoft wouldn't had opted to put tens of millions of their solutions in their consoles.
Intel probably aren't much interested in the tiny margins in the console market, particularly when they'd have to throw a lot of R&D into building a competitive GPU.
That doesn't make AMD any more competitive in PCs.
Intel have plenty of CPUs that can compete with AMD's prices at the low end. The only thing AMD have is better graphics, which is why they keep pushing APUs, even though there's a tiny market for them... they're basically for people who want to play games, but don't want to play them enough to buy a proper GPU.
It would be a very viable company if they could just dump the CPU side and concentrate on graphics.
(nearly) Every computer has a video device which has a loop running over the frame buffer, outputting pixels to the display output port.
Unless you're using a Sinclair ZX80/81 or some other peculiar device that's too cheap to include a graphics chip, that's hardware, not 'code'. If you expand the definition of 'code' to VHDL and other hardware design languages, there must be 'code' doing far more than a graphics chip would.
I am going to need to update our companies VPN black list to include all android devices. End of story. Problem solution.
Why would you let them on your corporate network in the first place? Who knows what random fluffy kitty screensaver apps users have installed that are happily stealing all your stuff and sending it to the Chinese government or Russian mafia?
Content providers have a right to display on your computer when YOU request their site.
Ad sites request that I display their ads. I don't. They have no right to anything on MY computer.
I'm always stunned when I have to use a computer which doesn't have ad-blocking enabled, because I can't see how anyone could use a Web that's so slow and ad-infested. Some of them take fifteen to twenty seconds load a page because they're sitting there at 'Waiting for www.stupidads.com' until the ad server finally responds.
Like I said, the magic brand theory of advertising. Now the internet has clearly proven that most ads don't work, advertisers need any old crap to try to convince the companies paying their wages that they do.
Are companies really stupid enough to still believe that?
This is why everyone makes annoying and hopefully memorable advertisements to the point where you sometimes don't even know what product is being advertised.
Ah, yes, the magic brand theory of advertising. 'Yes, I know the Internet proves that only a handful of idiots ever react to ads, but... look, Chewbacca!'.
Why do you think people running ad blockers would magically start buying from ads if only the web site could manage to force them on people who don't want them?
" body armor for soldiers that are stronger and lighter"
But where do we get the soldiers that are stronger and lighter?
First you 3D scan them. Then you run them through a CAD program to remove the non-essential parts, and replace the remaining parts with lighter and stronger materials. Then you 3D print them.
I've never spent a single penny on anything that was advertised through a webpage that threw an ad up at me. Just try bypassing that!
This is what I really don't get. I don't want ads, I won't buy anything from ads, I've never bought anything from an ad. So why are advertisers wasting money trying to push ads to me, when they could spend it pushing ads to people who might buy something from them?
Or are companies just so dumb that they still pay per ad served, and not per ad clicked?
And if the ads are served from the site you actually need to interact with?
I'm generally fine with ads served from the site I actually go to. It's third-party ads I refuse to download, for all the obvious malware reasons. Hence, any time I run into a new third-party ad site, it gets blocked in my hosts file.
Next you'll be telling us that there's nothing to that microprocessor fad, because a Sinclair/Timex ZX80 can't really be used to control a nuclear power station.
You could try a country where the government has minimal power to interfere with people creating and running those businesses, rather than sucking up a large part of the economic output and funneling it to their cronies.
Any call for the government to 'protect us' will just make it bigger and more intrusive, and thereby make things worse.
Slashdot Mirror
Come now, it should be obvious that just because it's theoretically possible to prove that code is correct does not necessarily imply that it's theoretically possible to write such code in the first place.
The bigger problem is that, even if your code is perfect, you're linking with libraries that have bugs, which interact with an operating system that has bugs, and run on a CPU that has bugs. Most of the major bugs in projects I've been involved with lately have come from third-party libraries, hardware or hardware drivers, not our code.
Yeah, most of the bugs that initially looked like compiler bugs turned out to be code bugs, or undefined behaviour. I don't remember which real compiler bugs we ran into, but they were real bugs that the vendor admitted to and eventually fixed.
From what I have seen, the most valuable thing in society in Star Trek's Federation is a position within Star Fleet.
But the lefties keep telling us that Star Trek is a post-scarcity society. So I'll just have my own Starship Enterprise, won't I? Who needs Star Fleet?
If they was then Sony and Microsoft wouldn't had opted to put tens of millions of their solutions in their consoles.
Intel probably aren't much interested in the tiny margins in the console market, particularly when they'd have to throw a lot of R&D into building a competitive GPU.
That doesn't make AMD any more competitive in PCs.
I wonder how many crashes/bugs in software are actually the result of bugs in the compiler?
I think I've seen two in twenty years. So they happen, but not often, and usually only when they run into very unusual code.
She doesn't dislike weapons; she's fine with 'the elite' and their guards having weapons. She dislikes the proles, like most left-wing politicians.
Intel have plenty of CPUs that can compete with AMD's prices at the low end. The only thing AMD have is better graphics, which is why they keep pushing APUs, even though there's a tiny market for them... they're basically for people who want to play games, but don't want to play them enough to buy a proper GPU.
It would be a very viable company if they could just dump the CPU side and concentrate on graphics.
uh, dude. That "hardware" is running its own code. so, that snippet of code counts.
Uh, dude. No, it's not.
That is also wrong.
HALT for the CPU means furtherhin it will do nothing.
Perhaps you ment a different opcode?
Halt means it does nothing... until the next interrupt. Which will happen when there's something useful to do.
(nearly) Every computer has a video device which has a loop running over the frame buffer, outputting pixels to the display output port.
Unless you're using a Sinclair ZX80/81 or some other peculiar device that's too cheap to include a graphics chip, that's hardware, not 'code'. If you expand the definition of 'code' to VHDL and other hardware design languages, there must be 'code' doing far more than a graphics chip would.
I am going to need to update our companies VPN black list to include all android devices. End of story. Problem solution.
Why would you let them on your corporate network in the first place? Who knows what random fluffy kitty screensaver apps users have installed that are happily stealing all your stuff and sending it to the Chinese government or Russian mafia?
It's funny how that sounds precisely like the bug tracker of any Linux distro.
I didn't pay $100 for Linux.
What's the point of this?
So they can sell your location to advertisers?
Content providers have a right to display on your computer when YOU request their site.
Ad sites request that I display their ads. I don't. They have no right to anything on MY computer.
I'm always stunned when I have to use a computer which doesn't have ad-blocking enabled, because I can't see how anyone could use a Web that's so slow and ad-infested. Some of them take fifteen to twenty seconds load a page because they're sitting there at 'Waiting for www.stupidads.com' until the ad server finally responds.
Like I said, the magic brand theory of advertising. Now the internet has clearly proven that most ads don't work, advertisers need any old crap to try to convince the companies paying their wages that they do.
Are companies really stupid enough to still believe that?
This is why everyone makes annoying and hopefully memorable advertisements to the point where you sometimes don't even know what product is being advertised.
And you, yourself, demonstrate why it's nonsense.
Ah, yes, the magic brand theory of advertising. 'Yes, I know the Internet proves that only a handful of idiots ever react to ads, but... look, Chewbacca!'.
Simple SPAM is easy to deal with, properly engineered SPAM passes through the best filters.
Can't be much of it, then, because I haven't seen a spam mail in my inbox in years.
Why do you think people running ad blockers would magically start buying from ads if only the web site could manage to force them on people who don't want them?
" body armor for soldiers that are stronger and lighter"
But where do we get the soldiers that are stronger and lighter?
First you 3D scan them.
Then you run them through a CAD program to remove the non-essential parts, and replace the remaining parts with lighter and stronger materials.
Then you 3D print them.
What Africa needs is less violence, and adding more firearms to the mix is not going to lead to peace.
True. Peace will come much faster if we just let the people who currently have guns murder all the ones who don't.
I've never spent a single penny on anything that was advertised through a webpage that threw an ad up at me. Just try bypassing that!
This is what I really don't get. I don't want ads, I won't buy anything from ads, I've never bought anything from an ad. So why are advertisers wasting money trying to push ads to me, when they could spend it pushing ads to people who might buy something from them?
Or are companies just so dumb that they still pay per ad served, and not per ad clicked?
The Internet was much better before it was infested with a bazillion sites which only exist to bring in advertising revenue.
And if the ads are served from the site you actually need to interact with?
I'm generally fine with ads served from the site I actually go to. It's third-party ads I refuse to download, for all the obvious malware reasons. Hence, any time I run into a new third-party ad site, it gets blocked in my hosts file.
Next you'll be telling us that there's nothing to that microprocessor fad, because a Sinclair/Timex ZX80 can't really be used to control a nuclear power station.
You could try a country where the government has minimal power to interfere with people creating and running those businesses, rather than sucking up a large part of the economic output and funneling it to their cronies.
Any call for the government to 'protect us' will just make it bigger and more intrusive, and thereby make things worse.