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)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • (no subject)

    Still sad that SAC seems to end up being as complicated as it is. Surely there's some deeper duality between…

  • (no subject)

    I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded