Jason (jcreed) wrote,

Saw some neat signpainting exhibit thing up in greenpoint. Kind of nosed around the building at other galleries/studios a little bit too. Apparently this part of greenpoint is at the very artist-heavy portion of the gentrification lifecycle. I actually liked the building that it was in a lot because it contrasted so strongly with the big open-space houses I grew up in and the open-plan offices of my daily life. It was very tunnelly and tunnel-and-cave-like in a way that reminded me pleasingly of Wean and other academic building at CMU. Later had some fine dinner at "Northern Territories".
Tags: art, food

  • (no subject)

    I think I got around the need for corecursion by just using One More Linear Token: defining ◇A = ∃x.z(x) ⊗ □!(z(x) ⊸ ∀a.q(a) ⊸ ∃b.q(b) ⊗ □!(ℓ(a) ⊸…

  • (no subject)

    Thought some more about what happens when you take positive props P ::= ↓G | P ⊕ P | 0 negative props N ::= ↑G | N & N | ⊤ games G ::= {N|P}…

  • (no subject)

    Dang. Stuff from yesterday led down a path that made me think I had a very tidy answer to the age-old question of "read-only…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded