Made some progress on the problem "for work", went climbing, saw "Life of Brian" at the el cheapo $1 student theater with some kids from the cmukgb. Apparently, even though I thought I had, I hadn't seen it before. It was pretty funny. At climbing I ran into Carlos Guestrin, who said he was gustavolacerda's cousin, and who is also, now that I look at his homepage, my housemate's advisor! Small world, academia.