Forgot your password?
typodupeerror

Comment: Netflix Brazil did it too (Score 1) 284

by Andr T. (#41727231) Attached to: NetFlix Caught Stealing DivX Subtitles From Finnish Pirates
GUI

5 Reasons Tablets Suck, and You Won't Buy One 553

Posted by timothy
from the for-some-values-of-you dept.
Crazzaper writes "When the iPad was announced, a lot of people who didn't care about tablets came out to bash Apple's new device. These same people said 'I would have bought it if it had a full OS,' but in reality full OS tablets existed before the iPad rumors even started. This article gives an interesting perspective on why this happened, and argues that there's five big reasons why more powerful tablets exists but no one cares."
The Internet

English Wikipedia Reaches 3 Million Articles 192

Posted by CmdrTaco
from the next-version-will-have-140-char-limit dept.
FunPika writes "It has taken more than eight years and the work of vast numbers of people around the world, but the English version of Wikipedia has finally amassed more than three million articles. The site broke through the 3 million barrier early on Monday morning UK time, with the honors taken by a short article about Norwegian actor Beate Eriksen — a 48-year-old cast member of a popular local soap opera."
Operating Systems

World's First Formally-Proven OS Kernel 517

Posted by Soulskill
from the wait-for-it dept.
An anonymous reader writes "Operating systems usually have bugs — the 'blue screen of death,' the Amiga Hand, and so forth are known by almost everyone. NICTA's team of researchers has managed to prove that a particular OS kernel is guaranteed to meet its specification. It is fully, formally verified, and as such it exceeds the Common Criteria's highest level of assurance. The researchers used an executable specification written in Haskell, C code that mapped to Haskell, and the Isabelle theorem prover to generate a machine-checked proof that the C code in the kernel matches the executable and the formal specification of the system." Does it run Linux? "We're pleased to say that it does. Presently, we have a para-virtualized version of Linux running on top of the (unverified) x86 port of seL4. There are plans to port Linux to the verified ARM version of seL4 as well." Further technical details are available from NICTA's website.

Comment: Re:Foruc on different parts of game (Score 2) 167

by Andr T. (#29037317) Attached to: Classifying Players For Unique Game Experiences

Did this research notice if there were any deaths caused by getting discracted when you jumped and the camera got into such position that you tried to get a nippleslip or see the panties?

Just what we need... surround ourselves with ourselves. That will challenge us and cause us to grow into intelligent, tolerant and well rounded individuals.

/. just keep getting weirder and weirder.

Media

+ - Copyright wars: everyone is wrong->

Submitted by Anonymous Coward
An anonymous reader writes "British website Spiked says both the media industry and its critics are wrong when it comes to the copyright wars.

"Everyone and their dog knows that the media is being torn asunder by the forces unleashed by the internet. Almost every movie ever made is available on BitTorrent, half of television's history is easily accessible worldwide courtesy of copyright-flouting Chinese video websites and, despite the success of legitimate services such as iTunes and Spotify, illegal downloads continue to dwarf online music sales."

The article argues that it's not illegal downloads that are destroying the media but instead it's the fault of industry as a whole retreating from production.

Interesting comparison to free and open source software. Slashdot gets a mention also."

Link to Original Source

It is clear that the individual who persecutes a man, his brother, because he is not of the same opinion, is a monster. - Voltaire

Working...