When I was done interviewing Tom Van Vleck, he suggested I might want to read Mechanizing Proof, by Donald MacKenzie. [wc] Which, I did.
When I was done interviewing Tom Van Vleck, he suggested I might want to read Mechanizing Proof, by Donald MacKenzie. [wc] Which, I did.
This needs a cool name. There’s “The Singularity” – how about “The Feedback Loop” or perhaps “The Oroboros Loop”?
System administration is one of those skills you sometimes wish you didn’t have.
Tearing my shop down (my project for late last week) was depressing. After going to all the trouble to assemble the massive benches and bolt everything down to it, I had to unbolt everything and begin disassembly. It amounts to a repudiation of my own work.
I’m not happy to hear that he’s died, but I’m getting a bit grossed-out by the way everyone is expected to fawn over what a great man he was.
At this point, you should assume your smart phone is a tracking device – albeit one you pay for, which you can buy a nice case for.
This is a true story. Some minor details are changed deliberately.
It turns out that bad cops work well with other bad cops, encouraging misbehavior. Normally, I’d consider that obvious; it seems to be a general rule of organizations.
From the “at least they didn’t shoot anyone” Department of Police Misconduct, we have a tale of a cop-bro who, well, I’m not sure what he was thinking. [azcentral]
I ordered a tactical defense knife (“the perfect tool for women”) [stderr] so I can use it for some test-cutting. I’m not sure where I’ll go with this, but I am probably too busy/lazy to make my own tactical llap goch sgean dgu to compare against, so I may have to use my Vietnam War-era Gerber MK I.