Jason (jcreed) wrote,
Jason
jcreed

Ack. It's days like this that remind me that someday, I really need to move to a warmer climate.

Meeting with Frank went well. Apparently there is some wacky modal logic way of explaining unification evars nicely. Discussed the restriction substitution a bit. I managed to convince him that something funny is going on, but he still thinks it's handleable.

Compilers also went fine. Just some stuff about control flow graphs and CSE and such.

I have a bunch of things that I need to do, though, however much I might rather slack and/or socialize tonight. Laundry, homework, bill-paying, check-cashing, etc. And I should go to the grocery store at some point but I have little to no excitement about going outside again. Maybe I should even make some notes for thingy tomorrow or something.
Subscribe
  • 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 

  • 4 comments