Theory of how F-22 Fighter software is going to be made bulletproof. Practice. Update: More practice (noted by Ben_k on Bruce Schneier’s weblog). Update2: See this paper and this one.
Goodbye to all that
See our announcement and press reports .
Operating system interfaces are what you bump into…
Operating system interfaces are what you bump into when you are trying to do your work. There is no need for workaday users to see an operating system interface at all; the current OS interface is bureaucratic bloat, an unnecessary
Moving on
FSMLabs is about to make a major change in direction – with a focus on “enterprise” computing. Some of what we plan to do is brand new – for example, we have new ways of speeding up “black-box” trading in
Security notes
David Elliot Bell has an interesting essay on the US government and software security – little “inside baseball”, but informative. He cites my critique of MILS. One of Bell’s points, which is briefly mentioned in my note, is that composition
Jim Gray and the existence of working software
Jim Gray disappeared and I hope he will reappear unharmed. I met him once at a Supercomputing show when Cort Dougan and had just been snubbed by the AIX developers at the PowerPC booth who explained that the Linux PowerPC