Jason (jcreed) wrote,
Jason
jcreed

Woo, broke 10k, and for the moment I am beating tom7 and heather, at 10,468. Very hard to get momentum tonight, though, until I got back to the foul-mouthed, smart-ass, bitter, cynical asshole character that appeared for no good reason in chapter 6. I ♥ her.

I think I have a correct formulation of soundness and completeness of the unification algorithm itself, at last. I spend a good hour or two being very nervous about some nit-pickling little properties of substitutions. Got to watch out for which variables don't occur where.
Subscribe

  • (no subject)

    Oh jeez Boulet, this is what you casually slap together for a 24-hour comic? Come on, now, you're just showing off. (But seriously it is so cute)

  • (no subject)

    Compare: (a) Borges's Celestial Emporium of Benevolent Knowledge. (b) Today's smbc. --- A further example of excellent linguistic trolling…

  • (no subject)

    Le Ballon Rouge

  • 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 

  • 6 comments