I've just submitted my last homework assignment, the one for Formal Methods. It's a great relief that I've finally finished it; it had been nagging me for a long time. Now I can solely focus on my internship paper, I have been looking forward to that for a long time.

The weather is really nice outside (how is it in Washington?), but I'm kind of getting used to having to stay inside in the weekends.