So I've been feeling kinda strange lately. Aren't emotions fun? Meh. Despite all that, I'm feeling relatively happy right now.
Had a bizarre dream last night. I will spare you the details. Meh.
So I did something stupid. I worked on 312 homework, and got stuck on a problem. I was fairly sure it was false, but I was unable to generate a counterexample. So, of course, I assumed it was true and did a (apparently flawed) proof.
Then I come home tonight at around 11:30 (after studying for 80180 exam tomorrow with Car), and find out that it is actually false, and there's a very obvious counterexample that I was missing because I was going about it the wrong way (I was trying to find an expression with type tau that stepped to an expression with type tau'... instead, I needed an expression that stepped to an ill-typed expression). Because of the collaboration policy for the class, I wasn't allowed to write down any work for another hour. Homework was due at 11:59. Meh.
Long story short, I ended up using a late day (turning it in at 12:40), despite the fact that I had it right except for the counterexample (and COULD HAVE gotten it in on-time if not for the hour wait). Blah. I feel kinda dumb.
The fact that I just got 8/15 on the 213 quiz doesn't help that either.
But despite everything, life's good. 80180 exam of doom tomorrow, but otherwise classes are fine... Other blah emotion stuffs are going away.
Oh yeah, Combinatorics is sucking though. He introduced like 5 new definitions in class today to do a proof... and didn't have time to get to the actual proof. Gaah. Too many definitions!
As far as housing for next year goes, looks like I'm gonna be doing group housing with Keith, Ian, Dan, Tim, and Josh. Whee. Should be fun. Hope we don't manage to scare Josh too much.
Read through the first couple months of my journal today. It's amazing how much it's changed... in case you don't know, this journal started out as a project for my AP English class. We were supposed to write once a weekday about anything that we wanted to... the idea was to just get practice writing and enjoy it. A lot of my early entries seem kinda weird now. Meh. I should do a stream of conciousness post though. Those are always interesting to write (although probably not as interesting to read). Whee.
I also went to the yarn store with Alisa and Jordan (?) logical yesterday. Was fun watching them knit. Would learn except I don't have the time or the money right now. Meh. Then we had lunch at Quiznos and Alisa gave me a back rub. <3 Alisa.
Car makes me happy. Yay Car! I'm such a sucker for physical contact.
*pets*
8 in a dress makes me happy too... I think.
...
Or maybe it's just disturbing. I can't quite decide.
My sleep cycle's been weird lately. Last night I went to bed at like 4 (AM). Today I slept from 1:40 to around 6:40 (PM). It is now 2 AM and I am not tired at all. Should try to sleep though... must wake up for class in 6 hours.
Whee!
Comments:
Post a comment:
