Jason (jcreed) wrote,

Had a very interesting bit of discussion with Sean and Frank about doing forward focused intuitionistic linear logic theorem proving.

Saw a play put on by Quantum, 36 Views. I really liked the plotting (double-crossing discovery of artistic and literary forgeries) and some of the characters (Claire in particular) but the dialog was at times almost unbearably awkward, especially during the more doe-eyed romancey bits. (6/10)
Tags: theater, work

  • (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