Category Archives: Uncategorized

Happy new year! Both 2024 and 2023. And 2022. I don’t think I wrote anything here in 2022 or 2023. Oops. 2023 was a pretty good reading year. Lessons in Chemistry Expanse: Leviathan Falls The Hundred-Year Marathon: China’s Secret Strategy … Continue reading →

I’ve been exclusively working from home now for over a year. The last day I was at the office was Friday, February 28, 2020. At that point, I decided the risk of getting on public transportation and being around hundreds … Continue reading →

I listened to Moshe Vardi’s World Logic Day talk “From Aristotle to the iPhone” (recording to be released later). The chain of influences was quite illuminating. That made me think of how I fit into the world of mathematics. I … Continue reading →

Over the holidays, I migrated from 1&1 to DreamHost, and I got almost everything to work. The only thing that didn’t work anymore were the email notifications from my Buffalo LinkStation NAS. Normally, they report once a day that everything … Continue reading →

I moved the blog from 1and1 to DreamHost. Please let me know if you encounter any problems.

A little while ago, we installed a Ring alarm system in our house. We like it quite a bit. The initial installation hurdle was the need for three range extenders; then, two motion detectors were unreliable, but that turned out … Continue reading →

On Friday, I went on my first solo hike this year. It’s truly a different year. I had never been in the Mowich Lake area of Mount Rainier National Park, and it looked like there were a number of good-looking … Continue reading →

Do you guys want to know how to refer to the /instances node under paths using a JSON pointer? #/paths/~1instances ~1 is the escape sequence for /. And ~0 is the escape sequence for ~. I’m really learning more than … Continue reading →

We got married! It was exactly the wedding we wanted to have.

I would really like a Lombok @Builder annotation that properly deals with required parameters at compile time. Here is what I have in mind: [cc lang=”java”] @lombok.Builder class Foo { @lombok.Builder.Required final String name; @lombok.Builder.Required final int age; final String … Continue reading →

Now that Amazon Music is shutting down the ability to upload and play your own songs, what do you use as a replacement? I have hundreds of CDs that I imported — complete Mike Oldfield, almost complete Depeche Mode, lots … Continue reading →

We’ve been shopping around for a handheld GPS, since many climbs require the ability to retrace our route. Since I have an InReach SE, it made sense to check out the InReach Explorer+, which combines a satellite messenger with topographic … Continue reading →

I’m using Kaspersky SafeMoney to redirect requests to websites that deserve a bit more security to a sandboxed browser. I don’t have any extensions in it, except for LastPass. I think it makes sense to still get the benefits of … Continue reading →

I’d like to say I began to adopt two-factor authentication pretty early. I’ve had it enabled for Google for a long time, I jumped on it when Amazon and Dropbox made it available, I enjoy it on several of my … Continue reading →

This is the matrix we used for making go/no-go decisions for our Mount Rainier summit bids: It’s copied from the excellent route briefs the Mount Rainier climbing rangers have released: Emmons-Winthrop Route Brief Disappointment Cleaver Route Brief

Trailhead to camp: Leave at trailhead: 6:30 AM @ 5,400 feet Arrive at camp: 12:30 PM @ 10,000 feet 6 hours, 3.9 miles (6.3 km), 4,600 feet gain (1400 m, or about 394 building floors) Camp to summit: Leave at … Continue reading →

On June 24 and 25, 2017, Jenny and I and our friend Vicki climbed Mount Rainier. Jenny and I drove out on Friday afternoon and picked up our wilderness camping permit for Camp Muir. We had dinner at the Paradise … Continue reading →

On one of my work projects right now, I’m adding unit tests to a code generator. The easiest way to make sure the generated code works is to run mvn clean install. Of course, I want to do that from … Continue reading →

I’m in the process of doing some housekeeping with my domains. In particular, I will drop the domains concutest.org and superscalar.org, among a few other, less frequently used domains. superscalar.org used to point to my old personal homepage, but since … Continue reading →

At the end of 2016, I had a 2017 Toyota Corolla loaner car while my own 2011 Toyota Camry was being repaired (a damaged wheel speed sensor from getting stuck in deep snow, which rendered ABS and traction control inoperable). … Continue reading →