Jason (jcreed) wrote,
Jason
jcreed

It's been a late night with the theorem-proving. I'm back-dating this to 23:59 the previous day to keep up with my one-entry-a-day quota, but in fact it's about 2:30 now. Tom's and my part of the code is pretty much done, and the writeup is kind of there. We're still waiting on rule gen code from the other team members. Maybe we won't make the deadline, but we got very close.

Anyway, the warm afterglow of intense intellectual activity is hitting me now. It's times like these I remember why I like grad school.
Subscribe

  • (no subject)

    Man I wanna be angry at 'em for pushing my bike-fixing back yet one more day, but now they are being extra-reasonable and saying that they'll comp…

  • (no subject)

    Ugggghhh come on Trophy Bikes. I was okay when you said that it would take 6 days to order the right fork to fix my bike. I was okay when you said,…

  • (no subject)

    I was supposed to get my bike back today, but the new fork they ordered only came late today, so they didn't get the repair work done yet. They say…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 5 comments