Jason (jcreed) wrote,

Twelf progress kind of slow. Bogged down by mundane "proof engineering" issues, specifically some annoyances that unfortunately I don't even think the promised module system would help.

Randomly encountered many Yurtizens and associated folks in the UC, went to hang out with them at dinner in a gesture of bidding roseandsigil goodbye since he is Seattlifying soon.

Then grammarnerd called me for to do music over at her place, which we did. Great fun.

Speaking of music, nothings did a sweet version of those chords I just posted. It's over here. Go listen to it! Especially once the melody kicks in, it is very nice.
Tags: music, social

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded