Jason (jcreed) wrote,

Oh, wow. lincoln3 mentioned boingboing from time to time, but I hadn't heard of Down & Out in the Magic Kingdom until just today. Very enjoyable SF.

Went to databases. It was... stuff. I need to be sure not to become perilously undermotivated in this class. The last CS class I took that I really didn't care that much about was Neural Nets, and I only did well grade-wise there because the homeworks were easy.

Tinkered around a bit with research stuff. Should write something up tonight. Whoop, something weird happens with eta-conversion. Didn't notice that before.

Watched one more episode of Babylon 5 and discovered that our supply of season 3 is exhausted. So sad! The usenet feed for some reason switched from season 2 to 4, so we had to scrape up whatever lincoln3 had on VHS. Unfortunately his collection is incomplete.

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

  • 1 comment