April 13th, 2004

beartato phd

(no subject)

So I've used the chords Bm7b5-E7-Am-A7 as a boring short loop for improvisation now for years and years, but it occurred to me yesterday to actually try to build a more interesting tune around it. Here it is. I tossed in a few of the chords changes "autumn leaves" has just after the lyrics go "but I miss you most of all, my darling...". Lovely turning-around kind of feel to them.

---

Nevermind, I looked more carefully and realized I've essentially just rewritten the bridge of Autumn leaves in its entirety transposed up a whole step from where I'm used to playing it. With, like, one nontrivial chord substitution. Goddammit.
beartato phd

(no subject)

Much progress on the theorem prover with tom.

Took a short break in the middle of that and hung out for a bit with spillourguts at the zebra lounge. Quite relaxing. The guy that seems to manage the place totally spotted me my tea without me saying a word. He just flatly turned away my $1.25. I guess that means I'm actually a regular or something.

I finally read through Pitts and Gabbay's paper abouth the calculus of names in terms of Frankel-Mostowski permutation models of set theory with atoms. It's terribly beautiful stuff, actually. I'm looking forward to the POP seminar talk this thursday, which is to be about a logic programming language based on it.