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.
Yesterday we spent the day in Center Parcs. My parents celebrated their 30th anniversary, and the six of us went to 'de Eemhof'. There's a huge swimming pool there, and we were swimming all day.
Yesterday we've been 'upgrading' our bedroom a bit. We went to get the desk that was 