Do you know how sometimes one thing leads to another? In my case, it started with climate change which leads to 90 degree plus days in Seattle which leads to wanted to sit outside instead of swelter indoors which leads to wanting to write some code outside which leads to trying to get better colors […]

We have a WaterCop system at home from the ancient days before Apple HomeKit and also an old lighting system. The first one has false alarms and we can’t ever tell which sensor actually triggered since they all feed a single sensor into the alarm system. The lighting system has failing switches so things like […]

One of the cool things that GitHub handles pretty well is changing your company’s organization. For instance, if you have a secret name, say Acme, then you create an organization and your main repo could be in git@github.com:acme/src, but what if you want to change your name? Then you just click at the top and […]

OK, inspired by the really cool Commitlint project which ensures you don’t just type “fix” when you do a git commit, I learned about a standard Conventional Commit format to make the lines useful. Basically, you can load into commitlint a standard set of rules for a pattern that looks like this: This seems silly, […]

Well for a variety of crazy reasons we just drove 11 hours to Montana. It was a great trip and an easy way to see some beautiful country (with suitably scary revelations), but one of the highlights was listening to the LensRentals Podcast. I first started using LensRentals an incredible 9 years ago and they […]

Well, now that the rendering of LaTeX worked, might as well get diagrams working the same way. It’s the same idea, there is a WP Mermaid plugin and there is both Gutenberg block and there is a shortcode [ mermaid ]. Note that after you install a plugin, you need to restart any edit session […]

Well, there are two good options: Use the Unicode characters for mathematics in simple one-line formulas and then add the Greek keyboard for things like pi or π by using the Globe icon 🌐 to switch to Greek and type a p. On a Mac, you get these with CTRL-CMD-Space or ⌃-⌘-Space and then go […]

Well, I’ve been putting off buying a new Apple Watch for years. We got the first Series 1 and it was hard to figure out what to do with it (this was before it became more fitness-focused and was supposedly a general application and notification platform). Like all first versions, you could see the promise, […]

OK, it’s been three long years since I’ve used a dedicated bare-metal Ubuntu machine. The last time was with house-made machine learning machines when the Titan was a big system, but we were amongst the first to build quad GPU machines running the then very new Ubuntu 14.04. Now of course the world has matured […]

In these days of high gas prices. I was curious to see what the real energy cost savings are right to now. Back in 2017, we had the option to get a $5K rebate or unlimited free supercharging. This was because they dropped the price of the car by $5K before we took delivery and […]