Comment Re:Hmm... (Score 1) 278
It's OK, the media will inform the voters. The media always report the unbiased truth!
Microsoft's Lost Decade 603
theodp writes "Newsweek's Daniel Lyons (that's Fake Steve to you) explains why Steve Ballmer is no Bill Gates, arguing that what most hurt Microsoft was BillG's decision to step down as CEO in January 2000: 'Gates was a software geek. He understood technology. Ballmer is a business guy.' And the problem with putting non-techies in charge of tech companies, concludes Lyons, is that they have blind spots. So while Microsoft's revenues nearly tripled from $23B to $58B on Ballmer's watch, says Lyons, the company became bureaucratic and lumbering, slowing down while the rest of the world — including Google, Apple and Amazon — sped up."
Comment Re:No Silver Bullet (Score 1) 234
Then you'd just have added another programming layer since you'd still have to tell the computer exactly what type of software you want it to write. Really not that different from a compiler.
Team Aims To Create Pure Evil AI 527
puroresu writes "Scientific American reports on the efforts of Selmer Bringsjord and his team at the Rensselaer Polytechnic Institute, who have been attempting to develop an AI possessed of an interesting character trait: pure evil. From the article, 'He and his research team began developing their computer representation of evil by posing a series of questions beginning with the basics: name, age, sex, etc., and progressing to inquiries about this fictional person's beliefs and motivations. This exercise resulted in "E," a computer character first created in 2005 to meet the criteria of Bringsjord's working definition of evil. Whereas the original E was simply a program designed to respond to questions in a manner consistent with Bringsjord's definition, the researchers have since given E a physical identity: It's a relatively young, white man with short black hair and dark stubble on his face.'"
Danish FreeBSD Dev. Sues Lenovo Over "Microsoft Tax" 318
Handbrewer writes "The FreeBSD developer Poul-Henning Kamp (phk) has sued Lenovo in Denmark (Google translation, original here) over their refusal to refund the Windows Vista Business license, even though he declined the EULA during installation. Lenovo argues that they sell the computer as a full product, and that they cannot refund it partially, such as the power supply or the OS even if people intend to use a different one. This seems to be contrary to previous rulings in the EU where Acer and HP has been forced to refund the 'Microsoft tax.'"
World's First Formally-Proven OS Kernel 517
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.
Parents Baffled By Science Questions 656
Pickens writes "The BBC reports that four out of five parents living in the UK have been stumped by a science question posed by their children with the top three most-asked questions: 'Where do babies come from?', 'What makes a rainbow?' and 'Why is the sky blue?'. The survey was carried out to mark the launch of a new website by the Department for Business, Innovation and Skills called Science: So what? So everything."
In UK, Two Convicted of Refusing To Decrypt Data 554
ACKyushu clues us to recent news out of the UK, where two people have been successfully prosecuted for refusing to provide authorities with their encryption keys, resulting in landmark convictions that may have carried jail sentences of up to five years. There is uncertainty in that the names of the people convicted were not released; and without those names, the Crown Prosecution Service said it was unable to track down details of the cases. "Failure to comply with a section 49 notice carries a sentence of up to two years jail plus fines. Failure to comply during a national security investigation carries up to five years jail. ... Of the 15 individuals served, 11 did not comply with the notices. Of the 11, seven were charged and two convicted. Sir Christopher [Rose, the government's Chief Surveillance Commissioner] did not report whether prosecutions failed or are pending against the five charged but not convicted in the period covered by his report."
Free Web Content a "Myth," Claims Barry Diller 294
BotScout writes "Following in the footsteps of other traditional media executives who just don't get it, Barry Diller, chairman and chief executive officer of IAC/InterActiveCorp, said web users will have to pay for what they watch and use, and that's that. The media and technology executive said it's 'mythology' to view the Internet as a system of free communications. 'It is not free, and is not going to be,' Diller said yesterday at the Fortune Brainstorm conference in Pasadena, California. Companies from Disney to New York Times Co. are seeking ways to extract revenue from the Internet. The latter recently said that it's considering a $5 monthly fee for access to its namesake newspaper's web site."
Stock Market Manipulation By Millisecond Trading 624
cfa22 writes "Nice piece in the NY Times today on ultra-fast trading on the NYSE and other markets. The 'algos' that make autonomous trading decisions have to be fast, but I wonder: Is network speed ever a bottleneck? Can anyone with inside experience with millisecond trading provide some details for the curious among us regarding hardware architectures and networking used for such trading systems?" According to the article, high-frequency traders generated about $21 billion in profits last year.
The Speed Gamers Raise Over $26,000 For Charity 65
Levonn Lawrence writes "Moving into day four of seven, The Speed Gamers (TSG) continue to play a Final Fantasy marathon for an unusual reason: charity. The guys at TSG are playing through every main Final Fantasy game, from one to twelve, over a period of seven days in hopes or raising $50,000 for ACT Today (Autism Care and Treatment). The marathon is streamed live for people to watch. ACT is a charity helping to financially support families effected by Autism. The marathon started 6pm CST, Friday, July 17th, 2009 and is going until Friday, July 24th 2009. So far they've raised over $26,000 (not a typo) and they're only 89 hours in."
Delete Data On Netbook If Stolen? 459
An anonymous reader writes "I have just moved overseas on a 2-year working holiday visa and so I picked up a netbook for the interim, an MSI Wind U100 Plus running WinXP. I love it to bits. But as I am traveling around I am somewhat worried about theft. Most of my important stuff is in Gmail and Google Docs; however, I don't always have Net access and find it useful to gear up the offline versions for both. Ideally I would like to securely delete all the offline data from the hard drive if it were stolen. Since it is backed up in the cloud, and the netbook is so cheap I don't really care about recovery, a solution that bricks it would be fine — and indeed would give me a warm glow knowing a prospective thief would have wasted their time. But it's not good if they can extract the HD and get at the data some other way. All thief-foiling suggestions are welcome, be they software, hardware, or other."
Comment Re:I assume the SOURCE fits into 4 kb (Score 1) 255
Maybe you just shouldn't use a word like "source" to mean "executable" when you're talking about software. It's just bound to create confusion.
On a side note, kilobyte is abbreviated kB, not KB or kb.
Windows 7 Pre-Orders Top Vista's In Just 8 Hours 279
Barence writes "In order to ensure Windows 7 got off to a better start than Vista in the UK, Microsoft slashed the cost of Home and Home Professional by a third on promotional copies which were sold on a 'first come, first served basis while stocks last.' The promotion ensured Windows 7 shot to the top of Amazon's charts when it was released yesterday, with the online retailer claiming that 'sales in the first eight hours outstripped those of Windows Vista's entire 17-week pre-order period.' The price of pre-ordering Windows 7 has now shot up to £80, after the £50 copies sold out within a day."
Typography On the Web Gets Different 378
bstender writes "Most major browsers — including the latest versions of Internet Explorer, Firefox, Safari, Chrome, and Opera — recognize a CSS rule known as @font-face. What that means, in brief, is that Web developers can now easily embed downloadable fonts in their pages. To see an example, load up Firefox 3.5 or Safari 4 and learn more. You'll see three new typefaces — Liza, Auto, and Dolly — used in the body text and headlines."
No doubt the licensing issues are just as complex as the font nerd potential.
