Who is the world's oldest working programmer?

On Sep 28, 2014, at 4:56 PM, Rick Murphy <rick at rickmurphy.net> wrote: I suppose that depends on the definition of ?general purpose?; back in the dark ages that was the term that Honeywell associated with SCOMP which managed to achieve TCSEC A1. Of course the effort routinely broke SRI?s HDM theorem prover used to prove the FTLS and was generally a royal pain in the ass. If you?re talking EAL7 for something as uber-bloated as Linux I?d agree with the assertion; it would take a massive rejiggering of the kernel, hardware with lots of rings (or the moral equivalent) and tools to support formal methods far better than we have today. -- Christian Kennedy, Ph.D. chris at mainecoon.com AF6AP | DB00000692 | PG00029419 http://www.mainecoon.com PGP KeyID 108DAB97 PGP fingerprint: 4E99 10B6 7253 B048 6685 6CBC 55E1 20A3 108D AB97 "Mr. McKittrick, after careful consideration?"