Jason (jcreed) wrote,

I am really liking automated theorem proving today. The lecture this morning was cool, getting some programming for the project was fun. All the continuation-passing in the current code is making my head spin a little, though.

In a bit of a piano rut still. My hands were in decent shape today technically, but I'm kind of low on ideas. One lead is trying to work out some rhythmic things with a very loose sense of harmony, just II-Vs scattered around without much to connect them, but it's not going much of anywhere.

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded