My Blog

Chess and Incompleteness

February 5, 2021
Chess, Math, Logic

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”. ...

How I (used to) post to this blog using iOS Shortcuts and Pythonista

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. ...

GPG & YubiKey & You

March 14, 2020
YubiKey, git, gpg

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. ...

Raspberry Pi BTC Node

March 1, 2020
BTC, Raspberry Pi

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. ...

Building my own NAS

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. ...