You can datamine too. All you need is a good book on datamining and data. Google didn't get their data for free, so why should they give it away for free?
Of course I'm speaking about automatic reasoning. e.g. description logic languages are quite easy to reason about (i.e. it will terminate). But they're seriously restricted compared to first-order logic. (Which can easily result in a program running forever. I don't know whether it's Turing complete, but I wouldn't be surprised if it were.)
Everything depends on what features of the language do you use, and how you use them. You can write perfectly functional side-effect-free code in Python. The compiler won't enforce it for you, but you can do it.
If you use only a subset of a language, it isn't the same language anymore.
I'm having a hard time imagining a subset of Python, when you can't define new functions during runtime: because that'll screw your provability.
, but it's better to have that hack disclosed in such a way that machine analysis can find it
I smell a halting problem here... Don't overestimate the force of machine analysis. It works poorly for Turing-complete languages. (There's a reason the semantic web uses heavily restricted languages like description logic.)
I thought social network sites are/will be a good solution for this. You don't even have to know the password of the dead one to query his/her friends. (But I guess you could get even the password if you prove the site owners that you're the closest relative of the dead one.)
Well, a tram is pretty much a train that runs in the city. They're quite popular in European cities (and we don't have that stupid power line on the ground either.)
>We might see some 'revolutionary' developments in collaboration come from this, hopefully we can all learn from it.
The problem is that we're all using the same tools to achieve different goals..... So unless our government gets to be as bad as theirs (and I'm not saying that's out of the question), I don't know what tactics they are dreaming up that are going to help me right now or improve my collaboration. And they don't seem to be writing a whole lot of ground breaking software... at least not for English speaking only users like myself
Well, there are languages aimed to fix that e.g. Mercury. It's Prolog with types. Although it's been around for 15 years, it's still mainly a research language, and it would be a lot of work to port the OTP environment to there.
Windows is Microsoft's platform. Nobody has a right to the platform. If you make StupidBrowser , do you have a right to sue Microsoft to include your code?
Slashdot Mirror
If there isn't yet a good free book [wikibooks.org] on a given subject, whose fault is that?
I don't know, but it's irrelevant to the Ugandan student.
Is buying university textbooks on the internet luxury? It's not aiming the poorest, but it can still have positive side effects on them.
How would you sell games (software) then?
Or anything else that targets the home user?
If you want to use it to boost booting, you will mostly read it.
I tried exporting my gmail account, but I aborted after half a day.
Why do you think Google does so much datamining?
You can datamine too. All you need is a good book on datamining and data.
Google didn't get their data for free, so why should they give it away for free?
I was always told, there's no free launch.
You only have to publish your data after publishing your article, which means "you won". You don't have to publish data for a research in progress.
I can look at REAL tits, thanks.
You mean, you can order real prostitutes on your phone?
"If Steve Jobs thinks that sex is immoral then I hope he doesn't engage in it himself." ;)
That would explain the many Apple apologists on Slashdot
We should mention BRL-CAD here as well. (OSS CAD software)
Provable as to what?
Of course I'm speaking about automatic reasoning. e.g. description logic languages are quite easy to reason about (i.e. it will terminate). But they're seriously restricted compared to first-order logic. (Which can easily result in a program running forever. I don't know whether it's Turing complete, but I wouldn't be surprised if it were.)
Everything depends on what features of the language do you use, and how you use them. You can write perfectly functional side-effect-free code in Python. The compiler won't enforce it for you, but you can do it.
If you use only a subset of a language, it isn't the same language anymore.
I'm having a hard time imagining a subset of Python, when you can't define new functions during runtime: because that'll screw your provability.
Dynamic languages aren't provable.
, but it's better to have that hack disclosed in such a way that machine analysis can find it
I smell a halting problem here ...
Don't overestimate the force of machine analysis. It works poorly for Turing-complete languages. (There's a reason the semantic web uses heavily restricted languages like description logic.)
I thought social network sites are/will be a good solution for this. You don't even have to know the password of the dead one to query his/her friends. (But I guess you could get even the password if you prove the site owners that you're the closest relative of the dead one.)
We're busy building data mining algorithms for day-trading , with the delusion of a multi-million dollar payday.
I fixed that for you.
Physical existence is overrated.
Well, a tram is pretty much a train that runs in the city. They're quite popular in European cities (and we don't have that stupid power line on the ground either.)
Woman Claims Wii Fit Caused Persistent Sexual Arousal Syndrome
And now the obligatory: Correlation doesn't mean causation.
>We might see some 'revolutionary' developments in collaboration come from this, hopefully we can all learn from it.
The problem is that we're all using the same tools to achieve different goals. .... ... at least not for English speaking only users like myself
So unless our government gets to be as bad as theirs (and I'm not saying that's out of the question), I don't know what tactics they are dreaming up that are going to help me right now or improve my collaboration. And they don't seem to be writing a whole lot of ground breaking software
Behold: Freenet
Well, there are languages aimed to fix that e.g. Mercury. It's Prolog with types. Although it's been around for 15 years, it's still mainly a research language, and it would be a lot of work to port the OTP environment to there.
Windows is Microsoft's platform. Nobody has a right to the platform. If you make StupidBrowser , do you have a right to sue Microsoft to include your code?
Fixed that for you.
Chess is more fun.
http://wiki.answers.com/Q/Is_chess_a_game_or_sport
Chess today is a recognized sport of the International Olympic Committee.
What about chess?