An anonymous reader writes "I've got an Eee PC 1000HD, and frankly, I can't stand XP. I know it's odd, because I actually like Vista, but XP is such a giant piece of crap on here that I struggle to use it day-by-day. Anyway, my question is this: which Linux distro should I run on it? Plain Ubuntu just doesn't have driver support. I tried Ubuntu-eee, which, to put it bluntly, does not work for me at all (slow, terrible battery life, even worse interface). I've heard that Jaunty Jackalope is going to have better netbook support, but that's all the way in April! Is there a distro out now that will free me from XP's terribleness without being terrible itself?" Getting wireless working on an Eee PC (though in my experience imperfectly) with stock Ubuntu is possible; for me it took some googling, though I've been told with great enthusiasm that it actually works "out of the box." What distros are you running on your netbook, and what problems do you find?

eldavojohn writes "A special issue of Notices of the American Mathematical Society (AMS) provides four beautiful articles illustrating formal proof by computation. PhysOrg has a simpler article on these assistant mathematical computer programs and states 'One long-term dream is to have formal proofs of all of the central theorems in mathematics. Thomas Hales, one of the authors writing in the Notices, says that such a collection of proofs would be akin to the sequencing of the mathematical genome.' You may recall a similar quest we discussed."

The MTV Multiplayer Blog interviewed John Smedley, President of Sony Online Entertainment, about the future of MMOs. He discusses some of SOE's current projects and comments that they'll be focusing on consoles for all of their upcoming MMOs. "I would say that we would be one of the early adopters on [bringing MMOs to consoles], and we plan on becoming one of the dominant players in the MMO space on consoles." Sony's plans may include games for their hand-held console, the PSP. Smedley goes on to talk about bringing existing, popular franchises into MMO development, and remarks, "It's pretty safe to say that 'EverQuest' has not seen its last game."

Neovanglist writes "CNN, FOX, and MSNBC are reporting that voting machines in three states (Ohio, Indiana, and Florida) have already been showing issues, both in the machines themselves and in the training of poll attendants, causing many districts to switch to paper ballots." From the article: "Voters put the Republican congressional majority and a multitude of new voting equipment to the test Tuesday in an election that defined the balance of power for the rest of George W. Bush's presidency. Both parties hustled to get their supporters out in high-stakes contests across the country, Democrats appealing one more time for change, and appearing confident the mood was on their side. Republicans conceded nothing as their vaunted get-out-the-vote machine swung into motion." If you're in the U.S., and you haven't voted already, go do it!