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.

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 Post Print This Post   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 Post Print This Post   Email This Email This

Mount Rainier Go/No-Go Decision Matrix

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   Email This Email This

Mount Rainier Trip Summary

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   Email This Email This

Mount Rainier Trip Report

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   Email This Email This

We Climbed Mount Rainier

On Sunday, June 25, 2017, our friend Vicki, Jenny, and I summited Mount Rainier, the tallest mountain in Washington state. Mount Rainier is the most prominent mountain in the contiguous US (only Denali in Alaska and Mauna Kea on Hawaii … Continue reading

Share
Posted in Pictures | 1 Comment

Print This Post Print This Post   Email This Email This

Invoking Maven from Java

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   Email This Email This

Domain Housekeeping

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   Email This Email This

Query API with startId, endId, and count

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

Share
Posted in Code Pranger, Programming | Leave a comment

Print This Post Print This Post   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

Share
Posted in Code Pranger | Leave a comment

Print This Post Print This Post   Email This Email This

Hex Mountain on Snowshoes

Share
Posted in Pictures | Leave a comment

Print This Post Print This Post   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.

Share
Posted in Pictures | Leave a comment

Print This Post Print This Post   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

Share
Posted in Programming | Leave a comment

Print This Post Print This Post   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

Share
Posted in Pictures | Leave a comment

Print This Post Print This Post   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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   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

Share
Posted in Pictures | Leave a comment

Print This Post Print This Post   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.

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   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

Share
Posted in Uncategorized | 1 Comment

Print This Post Print This Post   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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   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.

Share
Posted in Pictures | Leave a comment

Print This Post Print This Post   Email This Email This