Hacker News new | ask | show | jobs
by icebraining 4563 days ago
From Microsoft:

"Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are building a research operating system prototype (called Singularity), extending programming languages, and developing new techniques and tools for specifying and verifying program behavior."

"The Singularity Research Development Kit (RDK) 2.0 is now available for academic non-commercial use. You can download it from CodePlex, Microsoft's open source project hosting website"

http://research.microsoft.com/en-us/projects/singularity/

1 comments

Nothing on that page gives the impression that it's more than proposed feature enhancements (which in themselves may be wonderful of course), as opposed to a fundamentally novel approach to operating systems.