Jason (jcreed) wrote,

Made some progress thinking about modal logic stuff vis-a-vis focusing, but still stuck on a couple of issues with the Lipschitz-continuity type system. fancybred and Dan Licata always talked about positive function spaces, and I never believed in 'em, but I'm starting to almost need them for this application, which makes me worried.

ilovetypography has an article up about the making of "Vesper", which is yet another one of those adorable-as-shit contemporary faceted romans. Plus devanagari!
Tags: fonts, work

  • (no subject)

    Snuck up to LICS to see what was going on in the world of logic a tiny bit. Listened to a talk about Buchi automata and the linear-time mu-calculus,…

  • (no subject)

    Went to this Center for Network Programming miniconference thing that was being held on the "Cornell Tech Campus", which temporarily = "3rd floor of…

  • (no subject)

    Had a nice dinner with some !!con folks. Really too bad I couldn't go to the actual conference, looks like it was a great time. Oh well - will try to…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded