Jason (jcreed) wrote,

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.

  • (no subject)

    Guy from Seattle team we've been working with showed up today at work; no matter how much I'm generally comfortable working with remote teams (and I…

  • (no subject)

    Sean's back in town --- good fun working with nonremote teammates.

  • (no subject)

    Sean's in town at work, good times.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded