UKGOV Secure Software Initiative Needed
With all the security issues popping out of C-based programs UKGOV could use this opportunity to develop a Secure Software Environment and give unemployed programmers a job.
Starting points would be SE Linux, Spark Ada and all the research around safe languages and operating systems.
A full Spark-Ada-based OS with a Linux ABI would be a great achievement, as it would end all those buffer-overflow issues. Get the EU in the boat and make them finance a serious part of it.
http://en.wikipedia.org/wiki/SPARK_%28programming_language%29
http://en.wikipedia.org/wiki/Security-Enhanced_Linux
http://www.baesystems-ps.com/CsLeos/Articles/?jsp=index§ion=1&full=true&id=45
99% of Penguins want to be implemented in Ada.