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

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