Originally, I deployed this WordPress site to be a personal WebLog. Over the years I have thrown random thoughts here, and lately it’s turning into more of a personal wiki. I’ll be adding things here that I find myself looking for every now than then.