Jason (jcreed) wrote,
Jason
jcreed

Went to the "Jello Party" at iole200's but ducked out once the drunken party games started proceeding in full force. Still definitely worth going; got to see Don "proxy" Crimbchin and hang out with neal and the D's crowd.

Saw the second half of "Into the Woods" at madmadammim's after that.
Tags: movies, social
Subscribe

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

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment