I've set myself a deadline for my internship paper: Sunday evening I want to submit it. That means of course that I'm quite busy with the paper now.
I've put a new version online (with the sources). The last time I did that was in February: quite a while ago. The homework assignments of Internet Programming and Formal Methods took more time than I thought.