1. The stop-problem is undecidable only on a device with infinite RAM, if you put an upper bound on the RAM, you get a decidable problem (in theory only). 2. There are some practical ways to construct proofs that a loop ends (remember the CS lectures). Sure, it's not a perfect solution, but if you can't construct a proof that the loop ends, you'd better rethink the loop, and possibly rewrite it.
Jack Thompson is a hack, we saw that in our last discussion on the topic. Please, don't feed this troll by posting news about him. This discussion here and now is kinda pointless.
Was just gonna say that, saw that movie from NetFlix online... By the way, the same thing also reminds me of a notorious explanation of the internet involving trucks and tubes...
I think it means that MS is not using or distributing any GPLv3 code and therefore is not bound by the license. Yet. I can't read anything more in what they're saying.
What I said is: of course there will be bugs if it's new code. New code always means risk and doubtful benefits, if any. They also moved the sound code around, and did some dubious "optimizations" to keep it flowing by throttling whatever. It's amazing what some people will do when their code doesn't work as expected...
Microsoft said they are not distributing any GPLv3 software or code, so they are not bound by said code's license, namely the GPLv3. They never said they will not abide by the GPLv3 if they are bound by it by distributing any GPLv3 stuff.
Morals and Valor belong in WoW, not in RL. In this gray world, everyone is doing whatever they have to do to survive and keep their allegiances going long enough to get what they need. Law is as good as its enforcement. Lawyers are ethical as long as it pays. And so is everyone else. Even 'love' is a trade-off and you'd better be prepared to face the mishaps it brings if you want to push your genes through. My point is, we'd better not discuss this too much. Everyone will do what they have to do.
I simply made it temporarily allow the top-level domains. I.e. usually it's only the site's content. True, this doesn't help me if the top-level site has some malicious script on it, but it works without hassle.
The summary of the article reminds me of this priceless Idiocracy quote: "Joe stated his case logically and passionately, but his perceived effeminate voice only drew big gales of stupid laughter."
But they wouldn't have a case. You see, when you get SuSE, you get permission to use Novell's code under the GPL. Novell give that license to you. To anyone. So, any other distro can remove any GPL'ed code they have that could infringe on Novell, get the code same code from Novell under the GPL, and re-add it to their distro, ending up with the same distro they started up with down to the last line of code.
In other words: AS LONG AS NOVELL ARE DISTRIBUTING THEIR OWN CODE UNDER THE GPL, ANYBODY HAVING THAT CODE IN THEIR DISTRO IS OBEYING THE FRACKING LAW. THERE IS NO CASE!
Slightly off-topic. Here's a fix I wrote that patches the conf files of DoxBox inside Steam. Sorry for the code, wrote at 1-2 am last night and was a bit under influence. Ignore the silly and/or slow parts. SteamIDDosBoxFix.zip . Fixed are: aspect ratio under 1280x1024 TFT displays, sound stuttering, mouse sensitivity. You can edit dosbox.conf yourself, the fix simply replaces your entries into all.conf files (while keeping their format) it can find under Steam's install dir (which is taken from the registry).
Here's my fix for DosBox's configuration for the mega pack. It works if there are no other.conf files in the directory of Steam but the.conf files for the various instances of DosBox, or else. Use at your own risk, it might bring a meltdown on your PC. SteamIDDosBoxFix.zip . What it fixes: better screen configuration for 1280x1024 TFT displays, mouse sensitivity set to 500, sound tearing problems somewhat mitigated by slightly bigger sound buffers, that's it. The good part is that you can configure it yourself, have a look at dosbox.conf inside the package. Use the original dosbox.conf as reference. Please, excuse my code, but it's 2 am and strstream on a clean install of VS2003 sucks, so please don't look at the code, you've been warned.
How about putting the malware in $HOME/something and starting it up with $HOME/.bashrc ? What's to stop the bad guys from doing that even if the user is not root? If there's no competent person around to inspect.bashrc every now and then, the user will happily run the malware each time (s)he logs on.
True about the 320x200, but back in the days, when the tube monitors had 4:3 aspect ratio, 320x200 was stretched to 4:3, and we liked it:) . So did 640x400. And 1280x1024 (for those lucky enough to have a big one).
... they could simply use GZDoom unmodified and write a small launcher that goes through Steam. Heck, they could even include the latest version of Yadex complete with the cygwin & Xorg required to run it on Windows. But looks like licensing was not the only thing the packagers were ignorant about.
Hate to reply my own comments, but I forgot something. Check out the weird way TNT and Plutonia are handled in the package. The original DOS exe picks up Plutonia as the main IWAD and since the publishers chose for some reason to put both IWAD-s in the same directory, TNT is launched with -file tnt.wad. Anybody who's done some development in the area will tell you that's not a great idea, passing an IWAD as -file to another IWAD. Anyway, it works, that used to be the way sprite-containing PWADs worked - deutex added all the sprites from the IWAD and then the DOS exe was able to handle the stuff. Still weird to see -file plutonia.wad when the IWAD already *is* plutonia. I guess this just shows that id probably had little to do with the release, moreover the tech support is forwarded to Activision.
DosBox is not configured well, it runs 320x200 games in a kind of widescreen. I've been able to use DosBox to run DOS 320x200 games (some of them in the package) with the correct aspect ratio. Anyway. The real problem is that the DOS games come without their setup.exe files and are configured not to use wave blaster/general midi. Whatever, just grab gzdoom or something and everything's well again:). Anyway, The package's great, it has Hexen II and Quake 1,2,3 including the mission packs (Win32 versions all of them). Also, the Master Levels. Good stuff.
Slashdot Mirror
1. The stop-problem is undecidable only on a device with infinite RAM, if you put an upper bound on the RAM, you get a decidable problem (in theory only).
2. There are some practical ways to construct proofs that a loop ends (remember the CS lectures). Sure, it's not a perfect solution, but if you can't construct a proof that the loop ends, you'd better rethink the loop, and possibly rewrite it.
... Remember kids, it's theft! Send the dang pirates to jail!
Jack Thompson is a hack, we saw that in our last discussion on the topic. Please, don't feed this troll by posting news about him. This discussion here and now is kinda pointless.
Was just gonna say that, saw that movie from NetFlix online... By the way, the same thing also reminds me of a notorious explanation of the internet involving trucks and tubes...
I found what I was looking for. Here. Please, disregard my previous posts on this thread :D .
I think it means that MS is not using or distributing any GPLv3 code and therefore is not bound by the license. Yet. I can't read anything more in what they're saying.
What I said is: of course there will be bugs if it's new code. New code always means risk and doubtful benefits, if any. They also moved the sound code around, and did some dubious "optimizations" to keep it flowing by throttling whatever. It's amazing what some people will do when their code doesn't work as expected...
Microsoft said they are not distributing any GPLv3 software or code, so they are not bound by said code's license, namely the GPLv3. They never said they will not abide by the GPLv3 if they are bound by it by distributing any GPLv3 stuff.
It's a scheduling problem, it doesn't eat up your CPU cycles. Your CPU is idle, and so is your network card (and it shouldn't be).
Morals and Valor belong in WoW, not in RL. In this gray world, everyone is doing whatever they have to do to survive and keep their allegiances going long enough to get what they need. Law is as good as its enforcement. Lawyers are ethical as long as it pays. And so is everyone else. Even 'love' is a trade-off and you'd better be prepared to face the mishaps it brings if you want to push your genes through. My point is, we'd better not discuss this too much. Everyone will do what they have to do.
I simply made it temporarily allow the top-level domains. I.e. usually it's only the site's content. True, this doesn't help me if the top-level site has some malicious script on it, but it works without hassle.
The summary of the article reminds me of this priceless Idiocracy quote:
"Joe stated his case logically and passionately, but his perceived effeminate voice only drew big gales of stupid laughter."
http://www.youtube.com/watch?v=b2izZYZVhEA
I rest my case.
But they wouldn't have a case. You see, when you get SuSE, you get permission to use Novell's code under the GPL. Novell give that license to you. To anyone. So, any other distro can remove any GPL'ed code they have that could infringe on Novell, get the code same code from Novell under the GPL, and re-add it to their distro, ending up with the same distro they started up with down to the last line of code.
In other words: AS LONG AS NOVELL ARE DISTRIBUTING THEIR OWN CODE UNDER THE GPL, ANYBODY HAVING THAT CODE IN THEIR DISTRO IS OBEYING THE FRACKING LAW. THERE IS NO CASE!
Damn, I got tired of this nonsense.
Microsoft do have driver updates on Windows Update. It remains to be seen if this particular driver fix will end up there, but my bet would be yes.
From what the gp said, yes, he is.
Slightly off-topic. Here's a fix I wrote that patches the conf files of DoxBox inside Steam. Sorry for the code, wrote at 1-2 am last night and was a bit under influence. Ignore the silly and/or slow parts. SteamIDDosBoxFix.zip . Fixed are: aspect ratio under 1280x1024 TFT displays, sound stuttering, mouse sensitivity. You can edit dosbox.conf yourself, the fix simply replaces your entries into all .conf files (while keeping their format) it can find under Steam's install dir (which is taken from the registry).
Here's my fix for DosBox's configuration for the mega pack. It works if there are no other .conf files in the directory of Steam but the .conf files for the various instances of DosBox, or else. Use at your own risk, it might bring a meltdown on your PC. SteamIDDosBoxFix.zip . What it fixes: better screen configuration for 1280x1024 TFT displays, mouse sensitivity set to 500, sound tearing problems somewhat mitigated by slightly bigger sound buffers, that's it. The good part is that you can configure it yourself, have a look at dosbox.conf inside the package. Use the original dosbox.conf as reference. Please, excuse my code, but it's 2 am and strstream on a clean install of VS2003 sucks, so please don't look at the code, you've been warned.
How about putting the malware in $HOME/something and starting it up with $HOME/.bashrc ? What's to stop the bad guys from doing that even if the user is not root? If there's no competent person around to inspect .bashrc every now and then, the user will happily run the malware each time (s)he logs on.
True about the 320x200, but back in the days, when the tube monitors had 4:3 aspect ratio, 320x200 was stretched to 4:3, and we liked it :) . So did 640x400. And 1280x1024 (for those lucky enough to have a big one).
... they could simply use GZDoom unmodified and write a small launcher that goes through Steam. Heck, they could even include the latest version of Yadex complete with the cygwin & Xorg required to run it on Windows. But looks like licensing was not the only thing the packagers were ignorant about.
Hate to reply my own comments, but I forgot something. Check out the weird way TNT and Plutonia are handled in the package. The original DOS exe picks up Plutonia as the main IWAD and since the publishers chose for some reason to put both IWAD-s in the same directory, TNT is launched with -file tnt.wad. Anybody who's done some development in the area will tell you that's not a great idea, passing an IWAD as -file to another IWAD. Anyway, it works, that used to be the way sprite-containing PWADs worked - deutex added all the sprites from the IWAD and then the DOS exe was able to handle the stuff. Still weird to see -file plutonia.wad when the IWAD already *is* plutonia. I guess this just shows that id probably had little to do with the release, moreover the tech support is forwarded to Activision.
DosBox is not configured well, it runs 320x200 games in a kind of widescreen. I've been able to use DosBox to run DOS 320x200 games (some of them in the package) with the correct aspect ratio. Anyway. The real problem is that the DOS games come without their setup.exe files and are configured not to use wave blaster/general midi. Whatever, just grab gzdoom or something and everything's well again :). Anyway, The package's great, it has Hexen II and Quake 1,2,3 including the mission packs (Win32 versions all of them). Also, the Master Levels. Good stuff.
There's a pirate, there's a problem. When there's no pirate, there's no problem.