Welcome to the Slashdot Beta site -- learn more here. Use the link in the footer or click here to return to the Classic version of Slashdot.
Before you choose to head back to the Classic look of the site, we'd appreciate it if you share your thoughts on the Beta; your feedback is what drives our ongoing development.
Beta is different and we value you taking the time to try it out. Please take a look at the changes we've made in Beta and learn more about it. Thanks for reading, and for making the site better!
Towards a Wiki For Formally Verified Mathematics
George Dyson? Is he related to Miles Bennett Dyson?
Who235 writes "In a move that may not seem so surprising in light of his recent comments, OSS evangelist Eric Raymond has joined the Freespire leadership board.
From the article:
"There simply aren't enough Linux users today to put much pressure on hardware and software manufacturers," said Raymond. "To attract more users, Linux must support the popular drivers and file types in use today. Freespire is the one distribution I see willing to make this unfortunate but necessary compromise, so I'm happy to contribute to their effort."
Raymond believes desktop Linux is entering into a critical period, noting that historically, users have shifted operating systems during periods of fundamental changes in hardware platforms. He believes the PC vendors' embrace of 64-bit computing will provide desktop Linux a unique window of opportunity, which if missed, may not come along again for many years.
Who235 has no journal entries.