Jason (jcreed) wrote,
Jason
jcreed

Good times at D's tonight. Talking with simrob about my thesis stuff produced a couple new ideas, one which is just a neat step I can do in linear logic constraint unification (P * Q = P' * Q' -> P := PP' * PQ', Q := QP' * QQ', P' := PP' * QP', Q' := PQ' * QQ') that I hadn't thought of before, and the other might get me past my current implementation impasse.
Tags: social, work
Subscribe
  • 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