Author Archives: Mathias

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 →