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…]

I See Tail-Lights

Traffic in Sao Paolo is impressive. Worse than Moscow!

When your GPS says it’s going to take 2hr to go 25km, and gives you an 81km alternate route… well nobody’s speeding. Or moving, really.

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…]