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

Grave Matters of Nietzsche

I always enjoyed the dictum (favored by Hitchens) “What is asserted without evidence can be dismissed without evidence” – itself asserted without supporting argument. One of the great masters of the art of passionate, soaring, assertion was Friedrich Nietzsche.

Nietzsche comes to mind, today, because Jordan Peterson appears to have absorbed a form of Cliff’s Notes version of Nietzsche, as most of us did in college.

[Read more…]

A Real Museum Piece – Success

Getting the time-clock off the wall was not easy; I had to remove the logic board from shock-mountings in order to get to the mounting screws. Disappointingly, it turned out to be quite heavy. Memo to future-self: make sure backing plates are aluminum not steel before you estimate shipping.

[Read more…]