Jason (jcreed) wrote,

Went to a talk by Ed Fredkin, explaining his blue-sky dreams about revolutionizing transportation systems, which kind of left me in a bummed mood, for the talk was vague, confusing, and generally kind of disappointingly not as full of promising ideas as the posters so seductively advertised. Afterwards hung out for a while at Kiva Han downing hot tea and chatting with Karen, which contrarily was quite pleasant.

I am making some progress understanding a tech report by Adam Poswolsky, one of Carsten Schürmann's students, which explains how they are using temporal logic to do functional programming over higher-order data. It's extremely unhygienic from a judgmental-dogma standpoint; lots of context operators that peer into the types of hypotheses 'nnat. I'm trying to keep an open mind despite its superficial heresies. I really want to believe that all that's essentially going on with higher-order data is a type recursion operator μ at kind N → T where N is the kind of finite types (e.g. void, unit, bool, etc.) and T is the kind of all types.
Tags: social, talks, work

  • (no subject)

    K got back tonight, pretty late in subjective time (3-4am or so, coming from europe) but all in one piece. None of her houseplants, which were…

  • (no subject)

    K is off tonight to Old Country for a couple weeks, to fulfill family-seeing obligations. Sad! Thankfully we still have internet and skype and…

  • (no subject)

    Finally home. This time instead of mysteriously attracting screaming babies I mysteriously attracted full grown adults biting their nails or maybe…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded