I slept in late. Wasted much time on Internet this morning. In afternoon, started working on Logic class final project. It’s about developing the proof theory for the sequent calculus of system T. Yeah, I know you don’t really care, but I find it quite interesting. In evening, went to pasta dinner and Multitude at CA.

Tomorrow, I get to go to work, go to class, do homework, and watch a new episode of Enterprise. Anyone’s welcome to come over at 8 to watch it with me if they want.

I noticed that my last few entries were a little light on the hyperlinks, so I decided to add a bunch this time.