Government Funds Secret Sustainable Computing
SEWilco writes "OSDN's NewsForge reports that Carnegie Mellon University has started a Sustainable Computing Consortium to improve the quality and security of software.
The only news release is that NASA gave CMU $23 million to help create dependable software.
SCC members get an internal-use license for SCC software. So taxpayers are paying millions to create proprietary software, and companies get access for a few thousand dollars.
(There is some blurring between CMU's SCC and CMU's High Dependability Computing Consortium, although HDCC's web site has been idle for a year.)"
Dude, you are making a logical fallacy.
If A implies B (ie. if something is secret then it is proprietary) does not mean B implies A (if it is proprietary then it is secret). It also does not mean ~A imples ~B (if it is not secret then it is not proprietary).
Secrecy has nothing to do with proprietaryness: the whole point of the patent system is to have proprietary techniques open for all to read.