Actually there is no lie here. Finch has stated that the number of returns, not the rate of returns, for Linux and Windows are about the same. Considering that Windows boxes constitute many more sales, it is just basic mathematics to show that the rate of return will be higher for the product that has a lower volume of total sales.
Dell says they are not receiving returns except at the same rate.
No, that's not what they are saying. If they both have the same amount of returns and because Linux sales are smaller, the Linux sales return rate would be larger. This is basic mathematics. Let's work out a simple example to show this by comparing return figures of the same amount between 2 products that sell different amounts of total product:
1 return per 100 total sales = 1% return rate.
1 return per 10 total sales = 10% return rate.
Yes, but it also says that if that retailer doesn't give you a refund to contact Microsoft or a Microsoft affiliate in the region to get their refund terms. The EULA only obligates Microsoft to refund the user's money not Lenovo.
Au Contraire, if you sell a product which has undisclosed terms refusing those terms should result in a refund.
For the whole product, yes. Not piecemeal parts.
In order to use Microsoft Windows, you must accept their EULA. Unless you are claiming the Lenovo forced him to agree to the EULA prior to purchasing the computer, then those terms were undisclosed up to the point where he booted the computer and was presented with them.
Oh bullshit. He knew the terms before buying the product. To claim otherwise is just disingenuous. Secondly, the EULA doesn't state that the retailer of the product is obligated to refund the user's money for the Microsoft license.
The EULA doesn't obligate Lenovo to refund him the money. The EULA even says that if the retailer doesn't give you a refund to conteact Microsoft or a regional Microsoft associate to see their refund terms.
Yes, it took a long time. It always does, the first time around.
This isn't the first time around for someone to do this it's just the only one to ever actually finish. Secondly, a kernel used for desktop/server OSes is going to contain a few more magnitudes of code than this thing, so they are going to have to improve substantially in their proving if they are going to be doing this on anything larger scale than a picokernel.
Because they aren't doing this. CmdrTaco and theodp are just trolls who didn't even bother to read the pdfs they linked. Not a single one says to not hire U.S students or that they are bad. These are just pdfs that seek to inform people on what is needed to hire international students and to allay any misconceptions.
No, what people claimed was that to formally verify any non-trivial code that it would take a long time to do. This announcement proves that. It took them 5 years to verify 10,000 lines of code for something that isn't even that complex of a piece of code. Come back to us when you can formally verify a sufficiently complex kernel that can actually be put into production in less time and we'll talk.
Now, in x years, try shoving a DVD into a [insert future media here] player.
Since the future media format is most likely going to be another optical disc format, there is no reason to expect it won't be backwards compatible with DVD like any and all Blu-Ray/HD DVD standalone players and computer drives support reading.
I see so much being done these days with 'interpreters' (.Net CLR, Java, Flash, Python, Perl) and I wonder how good the interpreters REALLY are and how they would fair against native code?
*facepalm*..NET programs aren't interpreted. They are JIT-compiled into native code.
I've busted multiple CDs over the years; it's really not that hard to do, especially if your CD/DVD/whatever is in one of those cheap paper sleeves rather than a plastic case.
Here's a protip for you then: Don't keep your CD/DVD/whatever in those cheap paper sleeves rather than a plastic case. Problem solved, no?
Or perhaps record labels and software companies should be forced by law to send replacement CDs/DVDs for free if you mail them a scratched disc with a self-addressed envelope.
Why? If you're too careless to handle your media in a way that won't damage it, why should they be liable to replace it? Should we also start requiring car dealers to send you a replacement car for free if you wreck yours?
Slashdot Mirror
Did you miss the part where this was only just one of the missions? It's not the entire storyline.
Beate
He
Did Beate recently get a sex change or something? Last time I checked, Beate was a female.
Actually there is no lie here. Finch has stated that the number of returns, not the rate of returns, for Linux and Windows are about the same. Considering that Windows boxes constitute many more sales, it is just basic mathematics to show that the rate of return will be higher for the product that has a lower volume of total sales.
Dell says they are not receiving returns except at the same rate.
No, that's not what they are saying. If they both have the same amount of returns and because Linux sales are smaller, the Linux sales return rate would be larger. This is basic mathematics. Let's work out a simple example to show this by comparing return figures of the same amount between 2 products that sell different amounts of total product:
1 return per 100 total sales = 1% return rate. 1 return per 10 total sales = 10% return rate.
one convicted of criminal predatory practices
If they were convicted of criminal predatory practices who exactly went to jail?
The OpenOffice recommendation has more than 100,000 upvotes. Why would 100,000 people who don't care show up on Dell's webpage to click on that arrow?
Because we all know that online ballots are never stuffed and each vote is always from a unique person...
Yes, but it also says that if that retailer doesn't give you a refund to contact Microsoft or a Microsoft affiliate in the region to get their refund terms. The EULA only obligates Microsoft to refund the user's money not Lenovo.
Au Contraire, if you sell a product which has undisclosed terms refusing those terms should result in a refund.
For the whole product, yes. Not piecemeal parts.
In order to use Microsoft Windows, you must accept their EULA. Unless you are claiming the Lenovo forced him to agree to the EULA prior to purchasing the computer, then those terms were undisclosed up to the point where he booted the computer and was presented with them.
Oh bullshit. He knew the terms before buying the product. To claim otherwise is just disingenuous. Secondly, the EULA doesn't state that the retailer of the product is obligated to refund the user's money for the Microsoft license.
The EULA doesn't obligate Lenovo to refund him the money. The EULA even says that if the retailer doesn't give you a refund to conteact Microsoft or a regional Microsoft associate to see their refund terms.
But that EULA doesn't obligate Lenovo to give him a refund.
If you read the article then you will notice that it is not possible for him to buy a computer that can what he needs without windows on it.
Boohoo. The computer manufacturers aren't obligated to sell him a computer in the way he wants it.
Theo and Theo's girlfriend?
Yes, it took a long time. It always does, the first time around.
This isn't the first time around for someone to do this it's just the only one to ever actually finish. Secondly, a kernel used for desktop/server OSes is going to contain a few more magnitudes of code than this thing, so they are going to have to improve substantially in their proving if they are going to be doing this on anything larger scale than a picokernel.
You gonna retire from your job of cum squeegeeing?
Because they aren't doing this. CmdrTaco and theodp are just trolls who didn't even bother to read the pdfs they linked. Not a single one says to not hire U.S students or that they are bad. These are just pdfs that seek to inform people on what is needed to hire international students and to allay any misconceptions.
Name the logic that C is based on, then.
There's this new thing called boolean logic. I suggest you read up on it some time.
No, what people claimed was that to formally verify any non-trivial code that it would take a long time to do. This announcement proves that. It took them 5 years to verify 10,000 lines of code for something that isn't even that complex of a piece of code. Come back to us when you can formally verify a sufficiently complex kernel that can actually be put into production in less time and we'll talk.
Except that the only "proved" that their Haskell specification was correct, not the C translation.
Also of programming in logic based languages like Haskell, ML etc.
Since when was C not based in logic? Do you even know what the hell you're talking about?
Now, in x years, try shoving a DVD into a [insert future media here] player.
Since the future media format is most likely going to be another optical disc format, there is no reason to expect it won't be backwards compatible with DVD like any and all Blu-Ray/HD DVD standalone players and computer drives support reading.
Yes to both.
I see so much being done these days with 'interpreters' (.Net CLR, Java, Flash, Python, Perl) and I wonder how good the interpreters REALLY are and how they would fair against native code?
*facepalm*. .NET programs aren't interpreted. They are JIT-compiled into native code.
I've busted multiple CDs over the years; it's really not that hard to do, especially if your CD/DVD/whatever is in one of those cheap paper sleeves rather than a plastic case.
Here's a protip for you then: Don't keep your CD/DVD/whatever in those cheap paper sleeves rather than a plastic case. Problem solved, no?
Or perhaps record labels and software companies should be forced by law to send replacement CDs/DVDs for free if you mail them a scratched disc with a self-addressed envelope.
Why? If you're too careless to handle your media in a way that won't damage it, why should they be liable to replace it? Should we also start requiring car dealers to send you a replacement car for free if you wreck yours?
What happens to all of those DVD's you bought when DVD goes the way of VHS?
Nothing? Are your DVDs going to magically stop working that day?