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)

    K's off at an atypically Saturdayish Type-Thursday event, so I stuck around the apartment hiding from 100-degree heat, and noodled around with…

  • (no subject)

    Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.

  • (no subject)

    https://deadlockempire.github.io is a very cute edutainment game, meant to teach people about deadlocks and race conditions and concurrency…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded