Forgot your password?
typodupeerror

Comment: Re:In Short, Yes (Score 1) 345

by leonmergen (#23466388) Attached to: Do Static Source Code Analysis Tools Really Work?

I disagree. Think of a loop where a break condition depends on the validity of, say, Goldbach's conjecture. No static analyzer can tell when (or if) such a program will halt. This is an extreme example, of course, but any sufficiently complicated expression that affects what code path is taken and/or termination of the program will pretty much have the same problem when it comes to static analysis.
Wouldn't just taking all the different codepaths solve the problem in the context of this article ?
Debian

Ubuntu Dev Summit Lays Out Plans For Hardy Heron 261

Posted by Zonk
from the hee-such-humorous-names dept.
Opurt writes "On the first day of the Ubuntu Developer Summit in Boston this week, a roundtable session focused on the vision for the upcoming Hardy Heron Ubuntu release. Unlike Gutsy Gibbon, which brought a handful of experimental features along with some new functionality, the focus with Heron will be on robustness as it will be supported on the desktop for 3 years. 'The Compiz window manager, which adds sophisticated visual effects to the Ubuntu user interface, will be a big target for usability improvements. Keyboard bindings and session management were noted as two areas where Compiz still needs some work.' PolicyKit and Tracker will also be significantly tweaked, while Heron is also likely to see a complete visual refresh."
OS X

+ - Month Of Apple Bugs

Submitted by El Lobo
El Lobo (994537) writes "Apple Computer would face challenge from a pair of security researchers who have announced their plans to reveal one bug a day in Mac OS X and Apple applications starting January 1.

This new project would be hosted by a poster using the alias "LMH," and his partner, Kevin Finisterre. Finisterre is a tech researcher and has posted several Mac vulnerabilities and analyses on his own site.

The security researchers hope to use the project to dispel the perception that Apple systems are free of the security bugs that have long plagued Windows users.

http://www.theregister.co.uk/2006/12/20/month_of_a pple_bugs/"
Portables

Thailand Government Cancels OLPC Participation 196

Posted by ScuttleMonkey
from the roll-a-hard-six dept.
patiwat writes "Thailand's new junta-appointed Education Minister has cancelled Thailand's participation in the One Laptop Per Child project and scrapped a plan to give a 2B1 laptop to every primary school student. He has also cancelled plans to roll out computers and a broadband connection to every single school in Thailand. The cancellation of half a million scholarships for needy students is being studied. He cited the lack of readiness of teachers and the need to focus on basic education standards. "We will not focus too much on technology and materials. We will focus on substance," he said. This comes on the heels of the cancellation of the Thai government's open source policy."

Dutch Securing E-voting After Being Pwned 269

Posted by kdawson
from the wouldn't-it-be-nice dept.
An anonymous reader writes, "After the Dutch we-don't-trust-voting-computers foundation demonstrated glaring security holes in Dutch voting computers last week, the Dutch government has ordered (Dutch) all software to be replaced, all hardware to be checked, unflashable firmware to be installed, and an iron seal to be placed on voting machines. A certification institute will double-check all measures, and on election day will cull random machines to check them for accuracy. The Dutch intelligence service AIVD has been approached to consult on the radio emissions issue. Furthermore, foreign observers will monitor the upcoming elections on November 22nd. But the action group is still not confident (Dutch) that all problems are solved." US elections are controlled at the local level, so unfortunately such a nationwide fix would not be workable here.

uTube.com Business Stalled by YouTube Purchase Hype 202

Posted by timothy
from the series-of-goo-filled-tubes dept.
prostoalex writes "Google's acquisition of online video sharing site YouTube.com resulted in massive traffic headed to uTube.com, "the number one supplier of used Tube & Pipe equipment in the world!", according to the site. CNN Money reports: "The company, which sells used machinery for making tubes to clients worldwide, has seen its site utube.com knocked off line by millions of online searchers looking for video site. "It's killing us," said Ralph Girkins, president and owner of the 22-year-old business. "All my worldwide reps use our Web site. Customers all over the world use it to bring up photos of the machinery, descriptions and specifications there."""

Intel Pledges 80 Core Processor in 5 Years 439

Posted by Zonk
from the thinking-of-the-gaming dept.
ZonkerWilliam writes "Intel has developed an 80 core processor with claims 'that can perform a trillion floating point operations per second.'" From the article: "CEO Paul Otellini held up a silicon wafer with the prototype chips before several thousand attendees at the Intel Developer Forum here on Tuesday. The chips are capable of exchanging data at a terabyte a second, Otellini said during a keynote speech. The company hopes to have these chips ready for commercial production within a five-year window."

Red Hat Sued Over Hibernate ORM Patent Claim 170

Posted by CowboyNeal
from the done-it-first dept.
fmarines writes "Firestar Software has filed a patent claim against Red Hat for infringing on a patent Firestar filed in 2000 covering O/R mapping. The amount of the lawsuit was not disclosed. The complaint centers around JBoss 3, and the patent claims that JBoss was given prior notice that marketing, distribution, and support services violates Firestar's patent, and that Firestar 'has suffered and will continue to suffer substantial damages.' Firestar produces the ObjectSpark, an transactional object mapping engine which appears to not have had a new release since May 2003, according to the Firestar press release page."

Independent Software Vendors Get Organized 47

Posted by ScuttleMonkey
from the with-duct-tape-and-baling-wire dept.
joshorion writes "The Organization of Independent Software Vendors has just launched with the purpose of helping the community create and market their independent software. Experts contribute helpful articles, and members can make use of the forums. The site is sponsored by many notable companies, primarily CoffeeCup, but also CNet, Tucows, VanDyke, and Lunarpages."

Debian DPL Threatens to Leave SPI Over Sun Java 291

Posted by ScuttleMonkey
from the honeymoon-is-over dept.
An anonymous reader writes "A three-week-long flame war in debian-devel over the new Java Distribution License has culminated in Anthony Towns, the newly elected Debian Project Lead, offering to separate Debian from its legal representative, SPI. This came as a response to SPI member John Goerzen's objections to the Debian project's interaction with Sun's legal team around the new JDL license without review from SPI's lawyers."

The Pirate Bay Is Back Online 934

Posted by timothy
from the have-those-responsible-been-sacked? dept.
Many readers have submitted news that The Pirate Bay is back online, operating for now as "The Police Bay." Writes one anonymous submitter: "Pirate Bay got new hardware, moved the servers abroad and used recent backups. So the only bad side-effect of this police raid is that hundreds of clients of the ISP PRQ still have not got their servers back from the police. When the police did the raid on Wednesday, they took Pirate Bay from Bankgirot's secure server room. Then they also took all the servers in PRQ colocation facility STH3, effectively disabling a lot of small companies. The connection between PRQ and TPB? - Same owners, nothing more, this is beginning to become a huge scandal in Sweden with coverage on TV and all newspapers 4 days in a row."

SanDisk Baits Apple And Woos Rockbox 374

Posted by Zonk
from the i-like-apes dept.
An anonymous reader writes "CNET reports that SanDisk is courting open source developers to port Rockbox to its popular MP3 players. SanDisk is currently the world's second most popular MP3 player manufacturer after Apple. Rockbox is an open source OS for most major MP3 players. The article also talks about SanDisk's subversive new anti-iPod advertising campaign which calls iPod owners 'iChimps' and uses a 'street graffiti style' to create the illusion of a 'counter-culture uprising against the iPod'. The writer says, 'SanDisk is the first company to market its player as an ideological rather than technological alternative to the iPod. To do so is to fight Apple on their own terms.'"

Proposal to Implant RFID Chips in Immigrants 559

Posted by Zonk
from the goes-over-like-a-ton-of-bricks dept.
John3 writes "Some people are OK with voluntarily implanting themselves with RFID chips, but how about making RFID implantation mandatory for immigrant and guest workers? VeriChip Corporation chairman Scott Silverman has proposed implanting RFID chips to register workers as they cross the border. According to Silverman, 'We have talked to many people in Washington about using it...' Privacy advocates see this move by VeriChip as a way to introduce their product to Latin America after a lukewarm reception in North America. Would immigrant workers trade their privacy for the opportunity to work in the U.S.? If this type of tracking is enacted, how long before the government decides to start tracking others for various purposes (for example, pedophiles who are released from prison)?"

Fortune Magazine Profiles MySQL AB 63

Posted by Zonk
from the distributed-working dept.
hdtv writes "Fortune magazine profiles MySQL AB, a midsize company with a fairly large footprint. Fortune magazine popped in on another corporate party, which just happened to take place online across countries and continents." From the article: "'When a company is as spread out as this one,' Basil explains, 'you have to think of virtual ways to imitate the dynamics of what goes on in a more familiar employment situation.' That neatly sums up the broader challenge that many companies are confronting: how to nurture a bond among workers who rarely, if ever, meet. Few businesses are as spread out as MySQL, which employs 320 workers in 25 countries, 70 percent of whom work from home."

Music Recommendation Engines Compared 126

Posted by timothy
from the stuff-to-stick-in-your-ear dept.
An anonymous reader writes "The music recommendation/music discovery space seems to be heating up this year. Two big recent features on music recommendation engines: ExtremeTech has a round-up and reviews of eight leading services. Of the eight, Last.fm emerges as the winner: "Last.fm is by far the best out there, possessing a huge library of music, a great community, and a recommendation feature that will blow you away." Meanwhile, Pitchforkmedia.com just ran an in-depth feature about the hows and whys of music recommendation software, that tells the story going back to the '90s, and interviews people at Last.fm, Pandora, MusicIP, and the startup Echo Nest: '"Our hope is to answer every possible question about music that ever existed. If we can pull that off, then I think we're doing very well," says [Brian] Whitman.'"

The trouble with the rat-race is that even if you win, you're still a rat. -- Lily Tomlin

Working...