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.