Comment Re:I doubt it (Score 1) 464
Any thoughts on the thickness of the shells of mussels in response to the presence of crabs?
Comment Re:For me it's GPL vs. BSD (Score 1) 215
I agree with your summary of the BSD license. However, the GPL doesn't say that you're not making money off your code, or that you can't make money off it. It says (amongst other things) that you can distribute the software, and that you must provide the source code if you do distribute it.
Comment Re:Where's my version?? (Score 1) 2
Nevermind, it seems to be back now, along with a whole load of other things.
Journal Journal: Slashdot broken?
This is a test.
Comment Where's my version?? (Score 1) 2
Slashdot editors, what happened to the version of this story I just submitted at the same time with the same title, that's now mysteriously disappeared?
I still have a link to it in my submissions bar, but it's nowhere else to be seen:
http://slashdot.org/firehose.pl?op=view&id=19224228
(I add that my summary made more sense than this one).
Submission + - The true cost of publishing on the Amazon Kindle (pcpro.co.uk)
Barence writes: Ever wondered why Kindle newspapers and magazines don't have many photos? PC Pro has done an analysis of the costs of publishing on The Kindle and discovered that Amazon effectively taxes newspapers and magazines for including more images. Amazon applies "delivery charges" to publishers at the cost of $0.15 per MB/10p per MB. At those prices, PC Pro claims it's cheaper to mail out a physical magazine than have it delivered electronically on The Kindle. What's more, publishers have no control over the price of their newspaper or magazine: Amazon sets the prices itself, leading to huge customer complaints for titles such as The Economist.
Submission + - Man open sources his genetic data on GitHub (geek.com) 2
An anonymous reader writes: There are many services popping up on the Internet allowing you to store data about yourself or the projects you are working on. One of the most popular among the development community is GitHub: a distributed version control system mainly for software development allowing you to share and collaborate with others online.
While GitHub can be paid for as a service for private projects, open source projects get hosted for free. So there is a general mix of both types of project and over 1.7 million repositories currently stored on the service.
Manu Sporny, founder and CEO of Digital Bazaar, has decided to use GitHub to store a project of a very different nature. Rather than a piece of software, he is listing his own genetic data as an open source project. He has released all his rights to the data and made around 1 million of his genetic markers public domain.
As to why he decided to do what many may feel is a risky sharing of data so personal and unique to himself, Manu explains:
I’ve thought long and hard about each of those questions and the many more that you ask yourself before publishing this sort of personal data. There are large privacy implications in doing this. However, speaking solely for myself, I think the benefits outweigh the drawbacks.
Manu hasn’t gone into great detail as to his thought processes yet, but promises to on his blog at a later date.
While GitHub can be paid for as a service for private projects, open source projects get hosted for free. So there is a general mix of both types of project and over 1.7 million repositories currently stored on the service.
Manu Sporny, founder and CEO of Digital Bazaar, has decided to use GitHub to store a project of a very different nature. Rather than a piece of software, he is listing his own genetic data as an open source project. He has released all his rights to the data and made around 1 million of his genetic markers public domain.
As to why he decided to do what many may feel is a risky sharing of data so personal and unique to himself, Manu explains:
I’ve thought long and hard about each of those questions and the many more that you ask yourself before publishing this sort of personal data. There are large privacy implications in doing this. However, speaking solely for myself, I think the benefits outweigh the drawbacks.
Manu hasn’t gone into great detail as to his thought processes yet, but promises to on his blog at a later date.
Submission + - UnXis Group Acquires SCO (h-online.com)
Evil-G writes: In an email, SCO yesterday (Friday) informed its partners that UnXis Inc. was chosen as the successful bidder for SCO's Unix software business on 26 January. The slightly convoluted phrasing is probably due to SCO's current reorganisation under Chapter 11. On 16 February, the transaction is to be submitted for approval to the bankruptcy court where SCO's case is pending. There is a press release on the SCO website.
Comment Re:The Well of Uncomfortable Truths (Score 1) 207
And your statements about reliability? In what sense can a logic circuit be "guaranteed" free of defects? Did Intel know about this method of quality assurance back when they were designing the Pentium? It seems to me that simple logic circuits can be guaranteed free of defects because the human mind can readily model the whole system and intuitively decide it is correct. When the system is complex, that is no longer true.
There is some progress being made towards "guaranteeing" the correctness of circuits, such as:
this. Centaur Technologies (VIA) uses theorem proving tools to guarantee the correctness of parts of the VIA Nano processor. I'm sure with a little digging more references to this sort of thing can be found.
Intel appears to be actively working in the area of formal verification also, e.g. this - although this doesn't directly deal with low level circuits.
So, it is possible to guarantee some correctness, although I suspect it rests on the correctness of the theorem prover you're using also.
Comment Re:How Many Years....? (Score 1) 343
Probably not for as long as Windows...
Comment Re:What did we expect? (Score 1) 627
It's true that I didn't even get an idea of why it is true because of Godel Incompleteness. Can you explain a little more please?
Comment Re:What did we expect? (Score 1) 627
So, there is no such thing as a standard that exactly describes in every way every scenario and how to handle it because any theory capable of expressing arithmetic cannot be both consistent and complete? Or, because any recursively enumerable theory which includes basic arithmetic truths and certain truths about provability includes a statement about its own consistency if and only if it is inconsistent?
Comment Re:why would a woman want to be a geek goddess ?? (Score 1) 349
Excuse me for being thick, but could someone explain this joke?
Slashdot Top Deals
13. ... r-q1
