I Get A Box

I get a lot of stuff in the mail, because I’m always collecting components for various projects. Today I went to the post office and there was a large box that was very heavy. It didn’t make sense because I usually don’t order anything that’s going to be very heavy, for when I am away; if I’m away for more than a couple of days, my neighbor up the street collects my mail for me, and I don’t want to overload her.

[Read more…]

White House Tales – 1

“Does anyone here know anything about ‘firewalls’?” asked Steve Walker, the CEO of Trusted Information Systems (TIS). If you read Mechanizing Proof [stderr] stw crops up a couple of times – he was one of the proponents of trustworthy design through formal verification, and TIS produced an evaluated version of UNIX known as Trusted Xenix.

[Read more…]