Category Archives: Uncategorized

Now I Want an Apple iPad Too: Papers for iPad

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Body Worlds – Koerperwelten Bremen

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Python is Pretty Cool, And So Is DrJava

I’ve got to admit: Python is pretty cool when it comes to quickly writing powerful scripts. I wanted to extract the number of all-time downloads from DrJava’s SourceForge statistics page, but it wasn’t on the same line as the “Total” … Continue reading

Share
Posted in DrJava, Uncategorized | Leave a comment

Print This Post Print This Post  

Short Summary

The last few days summed up: Happy Easter! Still working on propagating reachability-from information into the methods. That should allow me to do a simple run-once-run-many analysis. I noticed my scanner was broken too, not just the power supply. FedEx … Continue reading

Share
Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

Print This Post Print This Post  

Subversion Word Diff

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

RadioShack Power Supply

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

My Favorite New Bash Command Line

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Packed Ten Days

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Done with SIGCSE Talk

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

Share
Posted in Uncategorized | 2 Comments

Print This Post Print This Post  

Subversion “obliterate”

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Auto-Upgrade to WordPress 2.9

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Snow

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 sleet (@Apparently sleet is known as partially melted snow in the … Continue reading

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Happy Thanksgiving

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

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Halting Problem in the Style of Dr. Seuss

I found a proof in verse of the undecidability of the halting problem, in the style of Dr Seuss, written by Geoffrey K. Pullum (@ I’m delighted that I have a reason to cite Pullum on my blog here, because … Continue reading

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Legitimate Chase Email?

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: www.Chase.com The domain cardmemberservices.com belongs to JPMorgan Chase as well, but it is not the … Continue reading

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

New ConcJUnit Annotations and Method Name Suffixes

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

Share
Posted in Uncategorized | 2 Comments

Print This Post Print This Post  

AWT Exception Handler Cannot Be Reset After Exception

When testing ConcJUnit some more from inside DrJava, I noticed some weird behavior. I had a JUnit 3.8.2 version of a test, and an equivalent JUnit 4 version. Run independently, they behaved as expected (which in my line of work … Continue reading

Share
Posted in Concurrent Unit Testing, Ramblings, Uncategorized | Leave a comment

Print This Post Print This Post  

Hudson Moved to Denmark

I just migrated our Hudson continuous integration server from my workstation (finland.cs, now a Dell Studio 435 with a 2.66 GHz i7 — thanks Corky!) to denmark.cs, a dedicated server (my former workstation, a Dell Dimension 9200 with a 3 … Continue reading

Share
Posted in DrJava, Uncategorized | Leave a comment

Print This Post Print This Post  

Updated CV and Resume

After attending an excellent workshop on converting CVs to resumes by the Rice Center for Student Professional Development, worked on improving my resume a bit. First of all, I created two versions, a shorter resume (pdf) and a longer, complete … Continue reading

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post  

Legal immigrants battle red tape

I noticed that the Houston Chronicle article I was interviewed for isn’t available on the Chronicle website anymore, so I wanted to re-post it on my blog. From the Houston Chronicle, Jan. 9, 2009: Legal immigrants battle red tape Pakistan … Continue reading

Share
Posted in Pictures, Uncategorized | Leave a comment

Print This Post Print This Post