Sunday, March 21, 2010

Bad Tatoos

Guilty of Being DeliciousThere's something really, really funny about a really, really bad tattoo. This one is my favorite, and really, isn't all that bad since it shows a sense of humor. Found this on a bad tattoo blog.

Monday, March 15, 2010

Separated at Birth?!

Glenn Beck and fat Barney

Glenn Beck and Fat Barney, from How I Met Your Mother.

Technical Report: Polymorphic Access Permissions

I've recently been working on an approach to add parametric polymorphism to our Access Permissions methodology. Access Permissions is a fraction-based means of reasoning about program aliases statically. It turns out in certain cases, it's really nice to have parametric polymorphism over permission specifications, for many of the same reasons that it's useful to have traditional parametric polymorphism (e.g., Java generics).

Our paper on the subject was recently rejected from ECOOP, but I think there are still some neat ideas in here. We've posted the paper as a technical report, and work on the subject will continue. You can find the technical report on the ISR page.

In other news, I've also started keeping track of the movies I've watched, mostly due to a recent binge.

Sunday, March 7, 2010

Berlin Pictures, at Long Last

Originally uploaded by DixiePistols.
I finally posted some of my pictures from my most recent Berlin trip. I had a great time. Here are some highlights:


Saturday, March 6, 2010


Originally uploaded by DixiePistols.
The last weekend I was in Berlin we went on a tour of Tempelhof airport. Tempelhof, now closed, was one of the oldest major airports in Europe. Orville Wright flew at the location in 1909. The later terminal building is a great example of architecture from between the wars, and is absolutely enormous. Some of the highlights of the tour were the basketball court, used by American servicemen, the large main terminal hall, and the underground bunkers. Click through for plenty more pictures.

Thursday, March 4, 2010


The Beast
Originally uploaded by DixiePistols.
Well, you may have heard this already... You see, I've been very excited. I got the chance to change my return flight from Berlin. Something went wrong with my original itinerary. When I was rebooking, I saw that the A380 was an option, and I was pumped. It didn't matter that I had to fly an extra leg to take it. I wanted to.

Okay, I know it's not that big of a deal, but this was the first time I had ever flown on the A380, and it was a lot sooner than I expected. For the moment, it's mostly being flown by Asian carriers which I never fly since I have never been. I remember seeing the A380 at the 2005 Le Bourget air show in Paris when it was still being tested, and now that I've flown it "only" five years later tells you something about the slow pace of airplane development.

The first thing I noticed when walking through terminal 2E was that its tail was so much larger than all the other planes in front of it. I couldn't see it, but I could see its tail. When I finally got near by, I took a couple of pictures. Other people were having their picture taken in front of it, which was kind of funny. I was on the top deck or "pont superior," so I got to go upstairs to the higher jet bridge. The A380 has two decks, but the upper deck is not merely for super rich people like on the 747. On top, the configuration is 2-4-2 (bottom 3-4-3) and I was sitting in the aisle, but in one of the pairs of seats near the window. 93-K was my seat, which I thought was pretty awesome.

Was it all that different? Well no. In fact, from the top deck, you feel strangely like you are on a 767 or something. It's a funny thing knowing that there are another 300 passengers sitting below you, our of site. But there were a few cool things about it. One is the personal entertainment system. It's common on most newer planes, but Delta's 767 don't have them, so that was worth changing my flight by itself. I watched Funny People and JFK. One cool addition is a messaging service that allows you to chat (like on AIM or something) with other passengers on the plane. The entertainment system does give you access to the three cameras mounted on the exterior, one facing forward from the nose, one from the tail, and another one facing straight down. That was very cool, and allowed me to see our gnarly off-axis landing (crosswinds, etc.).

It was definitely nice flying on Air France. We were given a menu for lunch, aperitifs beforehand, and they even set up a self-service bar that was accessible for the duration of the flight. I helped myself to some champagne.

The interior of the cabin is nice even back in coach. They have some kind of LED mood lighting that simulates the passing of the sunlight. The windows are larger than normal, and under each window there is a storage compartment, usable by the person sitting next to the window.

While overall the experience is pretty similar to any other new plane, it is a very large plane. Ours had 536 people, completely full. When walking through the jetbridge, it almost felt like I was boarding a cruise ship or something. And when the plane took off I got the impression that everyone around me was amazed; it just seems so improbable.

In summary, I would definitely recommend a ride. Airplane fanboyism is now complete!