stevedcc writes in to tell us about an interview with RMS in The Guardian, in which he gives his views on cloud computing, with a particular focus on user access to data and the sacrifices made for convenience. "'It's stupidity. It's worse than stupidity: it's a marketing hype campaign,' he told The Guardian. 'Somebody is saying this is inevitable — and whenever you hear somebody saying that, it's very likely to be a set of businesses campaigning to make it true.'" Computerworld has a summary of some of the blogosphere's reaction to RMS's position.

An anonymous reader writes "Cameron Freer, an instructor in pure mathematics at MIT, is working on an intriguing project called vdash.org (video from O'Reilly Ignite Boston 4): a math wiki which only allows true theorems to be added! Based on Isabelle, a free-software theorem prover, the wiki will state all of known mathematics in a machine-readable language and verify all theorems for correctness, thus providing a knowledge base for interactive proof assistants. In addition to its benefits for education and research, such a project could reveal undiscovered connections between fields of mathematics, thus advancing some fields with no further work being necessary."