February 5, 2021
Chess and Logic # Chess and Logic, huh?
There’s something fundamental linking them, and I’m not talking about using logic to beat a game of chess. The rules of chess are similar to the axioms of a logical system. This got me thinking, can we demonstrate Kurt Gödel’s incompleteness theorem in chess?
If you’re not familiar (and it’s a large and difficult territory should you decide to venture there), the incompleteness theorem says that “logic systems can describe true statements that can not be derived using that system”.
February 4, 2021
I recently got stoned for the first time in several years with Caleen. Whoa buddy. Like no time had passed at all. Instantly back where I was when I was a 24/7 stoner (about from 2007 to 2015).
I thought I might try to write about what it’s like for me. I think everyone’s experience is distinct, like a fingerprint of your soul. Caleen and I talked about it a little bit.
March 26, 2020
EDIT: This blog is now hosted using Hugo, not Jekyll. I have to find a way to migrate what I’ve described here.
I’ve had this blog for many years, and basically never posted anything. I wanted to become better about that, so I’ve been writing more haikus and trying to write up some of my home projects. My blog uses Jekyll and is hosted on Github Pages which already makes it pretty easy to write content but I wanted to see if I could make it even easier.
March 14, 2020
I’ve recently taken on the task of setting up my YubiKeys for usage beyond 2 factor auth. Something I learned was that OpenPGP smartcards (which include YubiKeys) have slots for three separate keys: Signature, Encryption, and Authentication.
My first goal is to sign git commits with it. Because I am a man of negligible importance, this is in fact NOT an excercise in security. I’m taking more of a hobbyist approach.
March 1, 2020
Time to put one of my spare Raspberry Pis to work # I woke up this morning and thought, ‘Hey why not get a full BTC node running on one of those Pis you got laying around?’ So that’s what I’m doing today.
Basics # This assumes something like Raspbian Lite is already installed and SSH access configured. For Wifi, I use these Edimax USB chips. Configuring them is not too difficult.
February 23, 2020
First a little background # I had a couple old NAS storage solutions I pulled out of, well, my storage unit a while back. Tried to set them up in my office and found them to be really difficult to use, but the data on them is still good. So I pulled the disks out and decided to look into upgrading to something newer. After some research, I concluded the existing out-of-the-box solutions available are overpriced for what they offer.