Jason (jcreed) wrote,

dear okcupid: improvement! meeting strange new people from the internet is GREAT

My mind is mush from thinking about coverage checking + HLF. I think I can argue for it being a good idea to try to think about explicit coverage witnesses (i.e. little trees saying where to split) because
(1) It saves me from having to think about the heuristics by which Twelf chooses to split
(2) It's probably a good thing to work out anyway. I think everyone agrees the above heuristics ought to be spitting out witnesses that are independently checked, but this doesn't seem to have been done yet, except perhaps in the sense in which Delphin does it.
Tags: internet, math

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


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded