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.
99% of Penguins want to be implemented in Ada.