Roger Penrose has said that all existing automated mathematics software gets "stuck" beyond a certain point and thereafter generates no "interesting" new proofs. Can anyone confirm or deny whether this is still true? (Intuitively, I would have thought that it would be still true, otherwise we'd be hearing about this software that promised to put mathematicians out of business....)
Shit, that was incomprehensible! Let me try that again:
Why does physical brain geometry make all the difference? Serious question. Does a wet spheroid shape feel pain whereas a cuboid slab of silicon doesn't? If so, why the difference? Where's your proof?
The truth is no-one really knows exactly what conditions are required for a chunk of matter to be conscious.
What does physical brain geometry make all the difference? Serious question. Does a wet sphere feel brain whereas a slab of silicon? If so, why? Where's your proof?
The truth is no-one really knows exactly what conditions are required for a chunk of matter to be conscious.
Thousands (perhaps millions) of applications have been written in C without trouble before.
So? Thousands of C applications don't listen on network sockets at all. Of the ones that do, many of them are too unpopular to be considered as candidates for cracking attempts.
Personally, the bug MS left in their code could have been easily made by any programmer
No, any C programmer. It is impossible for this bug to occur in pure Java, or ML, or Scheme, etc. etc. You've proved our (somewhat tongue-in-cheek) point - C is to blame.
This is no worse than a worm that erases the hard disk. Either way, you rely on backups (which people should be making anyway, to avoid data loss thru software or hardware or human error).
A bigger danger, IMO, comes from stealth data corruption over a long period of time.
Re:Python has no buffer overflow problems.
on
Code Red III
·
· Score: 1
It's not something in the C library, it's something in C itself - it allows you to shoot yourself in the foot very easily. Which can be a good thing or a bad thing, but mostly, I think, a bad thing.
Nope - common misconception - see this paper by David Deutsch:
http://xxx.lanl.gov/abs/quant-ph/9906007
Re:Why Symantec says that Code Red is medium.
on
Code Redux
·
· Score: 1
What was really amusing for me was that when Microsoft ran a "hack this box" challenge a while back, even their own best admins couldn't keep it up without crashing for the whole test! It died multiple times!
As for whether it was hacked, they said not, but I doubt we'll ever really know, will we?
It is indeed working just the way it's supposed to. Thousands of gullible fools are registering domains, not realising that if you don't have a trademark and someone else wants the domain, you are guaranteed to lose it. The other person does not have to have a trademark either. Cheating automatically disqualifies you. So there really is no point in making fraudulent registrations, except for an expensive joke.
The only winners are the registrars.
Just read the dispute resolution material if you don't believe me.
they should be forced to use www.phillipmorris.com/kraft, so everyone knows they're a tobacco company, not a food company.
I just read a libertarian twisting this fact 180 degrees on another site. "What people don't realise about suing tobacco companies is that many of them are actually food companies, so all you're doing is raising the price of food". So what's he implying - if some company does something criminal, you shouldn't sue them because it would raise the price of food? What totally disengenous crap!! I'm 100% sure he doesn't really believe that argument himself! But many libertarians seem to have no qualms about using the most simplistic arguments they can get away with, and using arguments which they don't actually agree with, just to win the argument. It's pathetic.
Anyway, we already have subsidies and welfare programs to make sure food is reasonably affordable (as if the lawsuit would be a problem, which it isn't).
People seem to keep forgetting, there is a world outside the US. Over here in Europe, we have quite a few open source coders, but much fewer software patents. And if they haven't got a patent valid in our jurisdiction, Microsoft can't touch us... (IANAL).
Re:Nautilus - Re:I'm a disappointed GNOME user...
on
KDE 2.2 Tagged
·
· Score: 1
(and I have to kill it several times in order to keep it dead since it automatically respawns a new process).
ps -A -f -l| grep $PROGNAME | head
kill -KILL the first pid on the list
should work first time. You must have been killing the wrong process, I would guess.
That's an interesting point. I'd never considered that behaviourism could actually be more humane than crude scientism. (Although behaviourism makes a rather huge false assumption, that we have no inner mental life, or at least that we can factor it out so we don't need to consider it.)
Not only that, but even if you delete root.exe, a trojaned Explorer.exe will replace it when you next login.
Because of what some cracker might have done since it was exploited, the only safe thing to do is to reformat c:\... and install a more secure operating system.
But explorer.exe is the GUI shell - including the Start menu - what would happen when someone logged in? I'd imagine "Fatal error explorer.exe not found [Shutdown]" - I'm not going to risk it on my box.
Slashdot Mirror
Why does physical brain geometry make all the difference? Serious question. Does a wet spheroid shape feel pain whereas a cuboid slab of silicon doesn't? If so, why the difference? Where's your proof?
The truth is no-one really knows exactly what conditions are required for a chunk of matter to be conscious.
The truth is no-one really knows exactly what conditions are required for a chunk of matter to be conscious.
Die evil scumbag.
So? Thousands of C applications don't listen on network sockets at all. Of the ones that do, many of them are too unpopular to be considered as candidates for cracking attempts.
Personally, the bug MS left in their code could have been easily made by any programmer
No, any C programmer. It is impossible for this bug to occur in pure Java, or ML, or Scheme, etc. etc. You've proved our (somewhat tongue-in-cheek) point - C is to blame.
Completely hypothetical questions, of course. ;)
A bigger danger, IMO, comes from stealth data corruption over a long period of time.
Do experimental physics preprints normally include photographs? I don't know, I'm just asking.
http://xxx.lanl.gov/abs/quant-ph/9906007
As for whether it was hacked, they said not, but I doubt we'll ever really know, will we?
The only winners are the registrars.
Just read the dispute resolution material if you don't believe me.
I just read a libertarian twisting this fact 180 degrees on another site. "What people don't realise about suing tobacco companies is that many of them are actually food companies, so all you're doing is raising the price of food". So what's he implying - if some company does something criminal, you shouldn't sue them because it would raise the price of food? What totally disengenous crap!! I'm 100% sure he doesn't really believe that argument himself! But many libertarians seem to have no qualms about using the most simplistic arguments they can get away with, and using arguments which they don't actually agree with, just to win the argument. It's pathetic.
Anyway, we already have subsidies and welfare programs to make sure food is reasonably affordable (as if the lawsuit would be a problem, which it isn't).
There have been about 2348039048203948 attempts at this and they have all failed. Why? Because 99.99999999% of people simply don't care.
Plus, of course, email etc. wouldn't work reliably.
Not if you're going to get sued into bankruptcy for trademark infringement, it isn't! ;)
ps -A -f -l| grep $PROGNAME | head
kill -KILL the first pid on the list
should work first time. You must have been killing the wrong process, I would guess.
Then again, IANAL, and since this is an unprecedented arrest, who knows what the judge might decide?
And remember, kiddies, with your root access to infected machines, you can trawl the IIS logs to get even more IPs to root.
Because of what some cracker might have done since it was exploited, the only safe thing to do is to reformat c:\... and install a more secure operating system.