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.

I recently had to write a query API for items in a service. Each item has a numerical, consecutively increasing integer as identifier. Therefore, it made sense to allow callers to specify a range. It also makes sense to specify … Continue reading

Posted in Code Pranger, Programming | Leave a comment

Print This Print This   Email This Email This

Backing Out Changes and Fixing Things

Let’s say we have three people: Adam, Bob, and Charlie. Adam submits a change, which later turns out to be bad. Bob submits a somewhat unrelated change. Charlie realizes that Adam’s change is bad and backs it out. That, however, … Continue reading

Posted in Code Pranger | Leave a comment

Print This Print This   Email This Email This

Hex Mountain on Snowshoes

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Guye Peak GPS Track

Here’s the GPS track for our winter scramble of Guye Peak, courtesy of our climb leader John.

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Capturing a Runnable with JMockit and Executing It

At work, we use JMockit. I’m far more comfortable with Mockito, which made it very easy for me to understand how to capture a Runnable passed in, execute it, and then check that certain calls were made. I have always … Continue reading

Posted in Programming | Leave a comment

Print This Print This   Email This Email This

Guye Peak Winter Scramble with the Mountaineers

Jenny and I went on a winter scramble up Guye Peak with other Mountaineers on Saturday. It was the first new peak of the year. It was a beautiful day, but very cold: 13 Fahrenheit/-10 Celsius. There was no wind … Continue reading

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Toyota Corolla 2017 Loaner Car

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

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Hike 40 of 2016: Another Trip Up Mount Si

Yesterday, on December 30, we were kicked out of work because we were moved from one building to another. Forced day off. I took the opportunity to complete hike number 40 of the year. Unfortunately, Jenny couldn’t get the day … Continue reading

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

CodeColorer codecolorer-core.php for PHP 7

Actually, there were four more lines that needed to be edited in codecolorer-core.php to make the CodeColorer plugin work for PHP 7. To make it easier for other people, below is the code in its entirety.

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Update to PHP 7

I updated the PHP version that my website uses to PHP 7. I ran into two problems: I had to disable the db-cache-reloaded-fix plugin. I’m not even sure if it did any good anymore. I also ran into an error … Continue reading

Posted in Uncategorized | 1 Comment

Print This Print This   Email This Email This

Samsung Galaxy S4 “SIM Card Removed” Problem

I still have a Samsung Galaxy S4. It’s old and slow, the (second) battery is bad, and the magnetometer is probably completely broken, but at least it doesn’t explode. And it’s paid off. For the last few months, however, I’ve … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

More Putrid Pete’s Pictures!

Here are a few more pictures from our scramble to Putrid Pete’s Peak, Webb, and Mount Defiance. Fellow Mountaineer Barb took these pictures.

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Three-Peak Day: Putrid Pete’s Peak, Web Mountain, and Mount Defiance

On Sunday, Jenny and I joined a 10-mile Mountaineers scramble to three peaks along the I-90 corridor. We ascended to Putrid Pete’s Peak, then scrambled to the west to Web Mountain, came back to Putrid Pete’s, ascended the ridge to … Continue reading

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Love the Light on Mount Rainier

I found another picture of Mount Rainier from the Pinnacle and Castle climb, and I just absolutely love the way the light falls on the mountain. It looks like a painting. My Olympus camera stopped working five pictures into the … Continue reading

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

More Pictures of Pinnacle Peak and The Castle

Here are a few more pictures of the Pinnacle Peak and The Castle climb, courtesy of Julie and Stephen, and our route, recorded by Ben.

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Pinnacle Peak and The Castle Climb

Together with a group of Mountaineers, I climbed Pinnacle Peak and The Castle in the Tatoosh range south of Mount Rainier. This was our second attempt, after getting so close to Pinnacle Peak in June. The summer trail was a … Continue reading

Posted in Pictures | 1 Comment

Print This Print This   Email This Email This

Mountaineers Trip to Maintain Mount Pilchuck Lookout

One of our climbs got cancelled, so Jenny and I were looking for something else we could do on a Saturday. We found a Mountaineers maintenance trip to the Mount Pilchuck lookout. I had been there in 2015, but Jenny … Continue reading

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Mount Adams Videos

Here are the three videos I shot while climbing Mount Adams. On the summit: Descending below Pikers Peak: Forest fire damage:

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Rerun: My favorite pictures of 2016

With the WTA Northwest Exposure 2016 photo contest coming up, here are the five pictures I’ve taken in 2016 that I like the best: Unicorn Peak: Whistler Mountain: Mount Adams summit: Mount Rainier, from the summit of Mount Adams: Scrambling … Continue reading

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This

Mount Adams Climb

Friday evening we drove out to Hood River, OR, where we stayed at a hotel for a last night in a bed and a gear check. Saturday morning, we ate warm breakfast, drove to the Ranger Station in Trout Lake … Continue reading

Posted in Pictures | Leave a comment

Print This Print This   Email This Email This