Category Archives: Uncategorized

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

Posted in Uncategorized | 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

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

Dell Zino HD Forgets Its HDMI Port

For the last five years or so I’ve been using a Dell Zino HD as my media center PC. It’s worked pretty well, but lately, the computer sometimes “forgets” that it has an HDMI port. The TV just goes blank, … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Madame Toulouse Cocktail

This cocktail worked out pretty well: Madame Toulouse (2 servings) a bit more than 1.5 oz grapefruit vodka 1.5 oz lemon juice 1.5 oz peach simple syrup small drop of honey shake over ice, strain add 3 oz of sparkling … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Wanting a New Phone

My current phone, a Samsung Galaxy S4, is now almost 2 years old (just a week shy). For the last six to nine month, battery life has been pretty horrible, and the USB connector also doesn’t work all the time … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Hikes of Early 2015

The first hike was the 3.8 mile Poo Poo Point Chirico Trail, with 1760 ft of gain. This was also the first new trail for me since the end of 2013. The other hike was another visit to Annette Lake, … Continue reading

Posted in Pictures, Uncategorized | Leave a comment

Print This Print This   Email This Email This

Google Maps with Lane Guidance and Traffic

I’ve complained a lot about the Google Maps app on Android lately. Offline maps were gone, the nice navigation interface while driving was gone, favorites were gone, simple access to alternate routes was gone, distance measurement via ruler was gone. … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Best Papers vs. Top Cited Papers

Dr. Moshe Vardi at Rice tweeted a really cool link today: Best Papers vs. Top Cited Papers on Arnetminer. It lists the most-cited papers that were published at one of many conferences, and then also which paper received the “best … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Transcendence

I watched a pre-screening of the movie “Transcendence” today. Some cliches, like wildly flashing and scrolling consoles and computer-generated voices, as well as the somewhat rapid end aside, the movie was well-made and thought-provoking. Below are some thoughts that occurred … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

OneNote for Mac, One Caveat

In my last post, I claimed that OneNote for Mac didn’t exist. That’s actually not true. My friend Chris informed me that about two weeks ago, Microsoft released OneNote for Mac. That still doesn’t help me, because OneNote for Mac … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Goodbye Old Work Laptop, Hello New Work Laptop

At the end of last week, I turned in my old 3.5 year-old work laptop, my rugged, trusted Lenovo ThinkPad T410. When I started using it at work, I didn’t like it. I was using the MacBook Pro I had … Continue reading

Posted in Uncategorized | 1 Comment

Print This Print This   Email This Email This

Daily Yoga

For most of this year, I have done yoga every day. I still go to my class at the gym, but five to six times a week I do yoga at home using the Daily Yoga Android app. It’s fun, … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

When Random Food Appears

Isn’t it weird how readily we eat food that randomly appears at work, even though we have no idea who put it there or where it came from? If I found food outside, I wouldn’t eat it. If food randomly … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

From Dijkstra to Me in Four Papers

I haven’t written in a while. I at least wanted to write about going snowshoeing while attending an avalanche class. I’ll get to it some day. Today I found a website that computes distance between computer scientists. Kind of like … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

Sleep Time

Mostly out of curiosity, I downloaded the Sleep Time app for Android yesterday. It’s an alarm clock that uses the accelerometer in the phone (which has to be placed on the mattress) to determine one’s sleep phase. Based on that … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This

New Phone: Samsung Galaxy S4

In January 2011, I switched from my old Pam Treo 755p to an Android touch screen smartphone. At first I was skeptical about not having a keyboard, but boy, that was the right decision. I’d had the HTC EVO 4G … Continue reading

Posted in Uncategorized | 1 Comment

Print This Print This   Email This Email This

Healthiest On-Call Week

At work, every engineer has a pager. Every few weeks, depending on the team, an engineer is on-call and needs to respond quickly in case something breaks in the team’s products. The week ending today was, fortunately, very quiet. There … Continue reading

Posted in Uncategorized | Leave a comment

Print This Print This   Email This Email This