Yeah, so I should probably update.
Work on the blahness that is the proxy is going… kinda. I got through the single request and threaded request parts fairly easily. Now I’m having problems with caching, but meh. Will do more foo later on it.
I’ve started packing things into boxes. So much crap I need to pack. Looking at textbook buyback, looks like only one book (the 80180 one) is worth selling back this semester. The others are going for like $5 or $10 each (for something I paid $70+ for). That means I’ll need to pack even more books, or take them home. Gaah.
Our robot for 18100 worked yesterday. Yay. We had two problems, both related to sodering problems (one resistor in a circuit came loose, and one soder connection wasn’t properly connected), but they were fixed and our robot can (more or less) traverse the provided maze.
Today was the last 15312 lecture. It was amazing. Harper showed us a program (Twelf, I think it was called) that can automate the proving of
I got my 21301 exam back. Yay for D+ grades. Makes me really glad one exam is dropped… but now I need to study like hell for the final.
Bought more Walk Away remixes on iTunes. Kelly Clarkson songs make me happy.
One more day of classes, then a week and a half of finals. Wheee. Almost there.