(This was last week ( Read more... )

So, I've been using the same shampoo and conditioner for like five or six years now. This stuff is kinda expensive, so I buy it in the biggest bottles I can find. These huge bottles tend to be a bit unwieldy and have big openings, so when I use them directly, I'm in danger of squirting way too much. Kinda defeats the purpose to get the stuff in ( Read more... )

Even in years when I'm not particularly invested in the teams playing in the game, I still love watching the super bowl for the commercials ( Read more... )

is yummy.

How come I never went there before?

Poor red panda :(

My icon is a red panda, in case you weren't aware.

Okay, I'm in the process of preparing for my grand European summer. As part of this, I had to figure out what to do about a phone.

My blackberry works internationally, and it turns out I could get international e-mail for a flat rate, so I did that. I can also receive messages out of my SMS plan. Basically every phone has an e-mail address that it ( Read more... )

The bread from LaPrima that you get with the soup at the little coffee cart in Wean is really tasty. 

Follow the links

Today, I got to do my recitation on encodings of various types in System F, with the grand finale being the encoding of the natural numbers. For those of you who aren't type theorists, this is absolutely beautiful stuff. These sorts of sublime and sexy things are really what made me fall in love with the field, and it's a pleasure to teach them, ( Read more... )

It's finally gotten really frigid here in Pittsburgh. Some combination of the warm protective layers made up of years worth of burritos and what have you, an undergrad stint in frigid Ithaca, or the fact that the heat is always going out in my apartment has made me pretty neutral to standard levels of cold. This is evidenced by the fact that ~30 ( Read more... )