Jason (jcreed) wrote,
Jason
jcreed

Been reading the archives of Waspi Square. Neither the jokes nor the characters are terribly compelling, but there's something in the art I like. Can't put my finger on what it reminds me of.

Got a bunch of positive progress hacking on this proof. I think I've very nearly reached bottom and found the right things to prove directly from the formulation of the system. Somehow it's awfully hard to just show that if you substitute M for a variable with a strict occurrence and the result is well-typed, then M has the type of the variable. This being precisely what I need to avoid the spurious extra ex post facto check that lead to that nasty infinite loop.

Had dinner at Kazansky's with madmadammim and phoebus. The waitress was all apologetic that they were out of hamburger buns but my burger tasted really good on the sourdough they substituted. The conversation was largely lingustic wankery. So much fun.

Sabrina came over for adam's showing of Enterprise. I think I'm missing out on a lot by only watching the occasional episode when I happen to be around for it, but they're still entertaining. VASE IN THE FACE!
Subscribe

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • (no subject)

    K was going to do a thing for her dad's birthday, but scheduling kept slipping and slipping so I guess we're going to try doing it tomorrow instead.

  • (no subject)

    Had a pleasant lunch with paul and gabe back from working-at-facebook times. Discussed the important issues of the day, by which I mean video games…

  • 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