Category Archives: Uncategorized

I just did an upgrade to WordPress 3.0, and I also gave the site a small face lift. The new default theme, Twenty Ten, actually looks quite nice. Everything seems to be working, but if you notice any problems, please … Continue reading →

OK, now I also want an Apple iPad: Papers for iPad has been released. I still haven’t made it to the Apple Store to play with an iPad since it was released, but the visit is firmly on my To … Continue reading →

My mother and I visited the Koerperwelten Bremen exhibition today. It is one of the Body Worlds traveling exhibitions that display real human bodies that have undergone plastination. Here are some images from the exhibition in Bremen. There has been … Continue reading →

While looking for information on Soot, I found this little gem here by Chris Pickett: swd, Subversion Word Diff. This is perfect for writing LaTeX papers in a group. For example, when I do an svn diff on our Mint … Continue reading →

I bought a RadioShack 12 V, 1.5A power supply today to replace the one that died yesterday. I had written down the voltage and current, but hadn’t bothered with the actual tip because I expected to just buy the cheapest … Continue reading →

A while ago I found an article entitled Top Ten One-Liners from CommandLineFu Explained, and I liked the example to quickly create backup files. Well, today I had some kind of Perforce problem after I renamed a couple of files, … Continue reading →

Tonight, a very packed ten days ended. It was fun, but I’m looking forward to sleeping in. March 10: Flight to Milwaukee, SIGCSE 2010 conference March 12: Conference talk at SIGCSE 2010 conference March 13: Flight to Indianapolis March 15: … Continue reading →

Corky and I had our presentation today, and it went well. I wish I had had some more time to practice, but that just wasn’t possible, since we decided to add something to it just yesterday. We got some good … Continue reading →

Apparently, Subversion is adding support for an “obliterate” command that can delete a file completely, including from the revision history. I once had to do this because I accidentally added a license file that needed to be kept private into … Continue reading →

I just performed an WordPress auto-upgrade to version 2.9. Version 2.9 requires MySQL version 4.1.2, and 1&1 was only running version 4.0.27. However, I found out that MySQL 5.0 is also running, so I needed to export the MySQL 4.0 … Continue reading →

As someone who knows what snow actually is, I’m picky about what I call snow. When my fellow Houstonians say “it’s snowing”, I tend to say “no, this is sleet1.” But I have to agree with them now: It is … Continue reading →

Happy Thanksgiving, everyone! I was fortunate to spend a wonderful day with Walid, Corky and Corky’s family. Thank you.

I found a proof in verse of the undecidability of the halting problem, in the style of Dr Seuss, written by Geoffrey K. Pullum1. Amusing and clear at the same time. SCOOPING THE LOOP SNOOPER: A proof that the Halting … Continue reading →

I received an email from Chase, and it seems to be legitimate, but gmail flags it as suspicious. No wonder, it contains the following link: 1<a href="http://click2.cardmemberservices.com/33270655.1225.1009279985663.129">www.Chase.com</a> The domain cardmemberservices.com belongs to JPMorgan Chase as well, but it is not … Continue reading →

I guess I should mention that I changed the ConcJUnit annotations (@Test) and method name suffixes (testFoo_NOJOIN) a little bit. I had noticed that putting a _NOJOIN suffix on a test method or using a @Test(forceThreadJoin=false) annotation entirely disabled the … Continue reading →