Author Archives: Mathias

About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.

Working from Home During the Pandemic

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

My Erdős Number

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Buffalo LinkStation and DreamHost Email

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Moved to DreamHost

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Down the Rabbit Hole

I’m totally going down the rabbit hole this morning… I need to test an rpm package. The host in the cloud can’t access the QA yum repository. So I download the package to my work laptop, copy it to the … Continue reading

Share
Posted in Programming | Leave a comment

Print This Print This   Email This Email This

Glass Break Detector for Ring Alarm System

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Fay Peak-First Mother Mountain Traverse

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Escaping in JSON Pointers

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Climbed Mount Baker

For the last few weeks, some Mountaineer friends, Jenny, and I had been planning to climb Mount Baker, Washington’s 4th highest mountain (if you count Little Tahoma as number 3). The last two weekends, though, we were weathered out. This … Continue reading

Share
Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Honeymooning on Black Peak

Jenny and I decided not to do an immediate, long honeymoon trip right after our wedding. Instead, we’re going to do a number of trips. The first one was this past weekend, to Black Peak in the North Cascades. Black … Continue reading

Share
Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Married!

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Dragontail Peak Climb

It’s been a little harder for me to get out into the mountains this year. It’s already end of May, and I don’t have much under my belt. That’s why I’m even more excited that Jenny and I climbed Dragontail … Continue reading

Share
Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Lombok @Builder with Required Parameters?

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Looking for a Replacement for Amazon Music Uploads

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Rerun: My favorites pictures of 2017

In preparation for the WTA’s Northwest Exposure photo contest, I was reviewing my favorite pictures from this year, just like I did last year. But there are just too many this year. I’ve been to so many gorgeous places, gone … Continue reading

Share
Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Comparison between GPSMAP 64st and InReach Explorer+

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Kaspersky SafeMoney, LastPass, and Yubikey?

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Second Mount Rainier Climb

On August 4 and 5, Jenny and I climbed Mount Rainier again, this time with Tatiana, Daniel, and Ian. I’m going to write a longer trip report again, but here are a couple of 360-degree pictures from the summit, and … Continue reading

Share
Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

swagger-codegen 2.3.0 Breaks Inheritance?

For a hack day at work, I’ve been trying to integrate our code generator into the online Swagger editor and generator. Of course, I’ve been trying to use the latest version, which appears to be 2.3.0-SNAPSHOT (although I just saw … Continue reading

Share
Posted in Code Pranger, Programming, Ramblings | Leave a comment

Print This Print This   Email This Email This

The Uneven World of Two-Factor Authentication

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

Share
Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This