Jason (jcreed) wrote,
Jason
jcreed

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
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments