A 200-word paragraph about socks, then some less dull stuff.

Having finally got my clothes to some state approaching dry by using the clothing-rotators down in the AMH laundry rooms (calling them "driers" would be stretching the term a bit), I've decided that whinknee's sock-pairing method is far superior to my own. The way she taught me involves putting paired socks side by side and them inverting them both through the top of one sock of the pair, resulting in a sock-ball. The method that I had always employed previously, having been taught to me by my mum when I was small (yes, even smaller than I am now) involved putting one of the pair of socks halfway on to one hand, so that the heel was at about the tips of the fingers, then laying the other across it, grabbing this second sock with the hand and then peeling the original sock off the hand. Not only did this waste a huge amount of time, it also tended to raise awkward questions in the Sinner chatroom.

[Wong] (Sorry, typing with a sock on my hand just now)
[SiouxsieSioux] and what exactly are you doing with a sock!?
[Wong] Pairing them.
[SiouxsieSioux] so you just happen to be on the net with a sock in one hand?
* Greebo sniggers
[Wong] WinSock.

The first tutorial for Operating Systems was this morning. Fortunately, preparation for it was easy thanks to my new habit of taking notes, which I hadn't really done since the second semester of first year. The tutor's computer stopped displaying things near the beginning, so he had to borrow Cristoph's Tablet PC to replace it. Watching him attempt to teach on an unfamiliar computer with the operating system in German was a process that provoked much hilarity. However, all traces of this vanished during the next tutorial on Logic, Specification and Verification. It's strange, because I've attended seven out of seven lectures of that course so far, and I've still no idea what it's about or what we're meant to be learning. The tutorial consisted of randomly typing (flatten) and (split) in to a proof assistant until it came out with some sort of proof that was below 35,000 lines.

I was going to make a start on the Databases practical today as there are only eleven days until Whitney visits, but I honestly can't be bothered. I've decided, though, that I'm going to stick with being comfortably unoriginal and database a University. That's a start, at least. The method of communication that we're using for the junior honours project has also turned out to be an utter failure, and I'm now trying to think up euphemisms for that to put in the weekly log.