likuidkewl writes "Two super-earths, 5 and 7.5 times the size of our home, were found to be orbiting 61 Virginis a mere 28 light years away. 'These detections indicate that low-mass planets are quite common around nearby stars. The discovery of potentially habitable nearby worlds may be just a few years away,' said Steven Vogt, a professor of astronomy and astrophysics at UCSC. Among hundreds of our nearest stellar neighbors, 61 Vir stands out as being the most nearly similar to the Sun in terms of age, mass, and other essential properties."

yuna49 writes 'Lately I've been visiting colleges with my daughter, who is a senior in high school. Every school has proudly announced that they support both Windows and Macs, and most of these schools report having about a 50-50 split between the two. However we've been a Linux household for many years now, and my daughter routinely uses a laptop running Kubuntu 9.04. Sometimes I would ask the student tour guide if Linux was supported and was usually met with a blank stare. We're obviously not concerned about whether she can write papers using OpenOffice and Linux. Rather we've been wondering about using other computing services on campus like classroom applications, remote printing, VPNs, or Wi-Fi support (nearly all these campuses have ubiquitous Wi-Fi). Given the composition of Slashdot's readership, I thought I'd pose the question here. Does your school support Linux? Have you found it difficult or impossible to use Linux in concert with the school's computing services?'

Ant writes "The Linux Foundation's report (PDF) on who writes Linux — "... Linux isn't written by lonely nerds hiding out in their parents' basements. It's written by people working for major companies — many of them businesses that you probably don't associate with Linux. To be exact, while 18.2% of Linux is written by people who aren't working for a company, and 7.6% is created by programmers who don't give a company affiliation, everything else is written by someone who's getting paid to create Linux. From top to bottom, of the companies that have contributed more than 1% of the current Linux kernel, the list looks like this: ..."

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.

jamie points out that a new web service, hid.im, will encode a torrent into a PNG image file, allowing it to be shared easily through forums or image hosting sites. Quoting TorrentFreak: "We have to admit that the usefulness of the service escaped us when we first discovered the project. So, we contacted Michael Nutt, one of the people running the project to find out what it's all about. 'It is an attempt to make torrents more resilient,' Michael told [us]. 'The difference is that you no longer need an indexing site to host your torrent file. Many forums will allow uploading images but not other types of files.' Hiding a torrent file inside an image is easy enough. Just select a torrent file stored on your local hard drive and Hid.im will take care the rest. The only limit to the service is that the size of the torrent file cannot exceed 250KB. ... People on the receiving end can decode the images and get the original .torrent file through a Firefox extension or bookmarklet. The code is entirely open source and Michael Nutt told us that they are hoping for people to contribute to it by creating additional decoders supported by other browsers."

Graeme West writes "A group of tech lawyers has announced the release of the inaugural issue of the International Free and Open Source Software Law Review (IFOSS L. Rev.) — a place for high-level discussion of issues and best practice in the implementation of FOSS. You can view the announcement, or skip straight to Volume 1, Issue 1. A downloadable PDF file is also available. The journal is open access, and articles are CC licensed."

Aurispector writes in with news that the Yale team that recently discovered an attractive force between two light beams in waveguides has now found a corresponding repulsive force. "'This completes the picture,' [team lead Hong] Tang said. 'We've shown that this is indeed a bipolar light force with both an attractive and repulsive component.' The attractive and repulsive light forces Tang's team discovered are separate from the force created by light's radiation pressure, which pushes against an object as light shines on it. Instead, they push out or pull in sideways from the direction the light travels. Previously, the engineers used the attractive force they discovered to move components on the silicon chip in one direction, such as pulling on a nanoscale switch to open it, but were unable to push it in the opposite direction. Using both forces means they can now have complete control and can manipulate components in both directions. 'We've demonstrated that these are tunable forces we can engineer,' Tang said."

twitter writes "The US Postal Service has moved its Cobol package tracking software to HP machines running GNU/Linux. 1,300 servers handle 40 million transactions a day and cost less than the last system, which was based on a Sun Solaris environment." The migration took a year. The USPS isn't spelling how big the savings are, except that they are "significant."

Oracle Goddess sends word that YouTube is presenting IE6 users with a banner exhorting them to upgrade to a modern browser, and TechCrunch is reporting that YouTube will be phasing out support for IE6 soon. This Twitter search reflects the jubilation breaking out all over the Net at the imminent demise of this most despised and non-standards-compliant browser. The market share for IE6 is now well down in the single digits.