I'm working on the homework assignment for Formal Methods. I'll validate a network protocol, to verify it does what it should do. It is a relatively easy protocol ("sliding window") but the validation is rather complex. Make's it interesting.
There is no radio in the bedroom (where I'm working), but I discovered ShoutCast, which has a lot of online radio stations. The nice thing about it is that the quality is very good.
After this assignment there's a test on Monday, after which I'm done with all my courses. Then I'll have another few weeks to finish my internship paper.