October 2nd, 2003

beartato phd

(no subject)

Dream: I was a bluesman in Georgia in the depression, a white-haired black man with a voice like the wind in cornfields. I had a hollow-toned guitar. I sang:

The fire's gone out, ain't nothing left but cold
The fire's gone out, ain't nothing left but cold
Ain't nothing to do but sit and grow old

I knew her face, but I never knew her name
I knew her face, but I never knew her name
I saw inside her burned a white-hot flame

She played so hot it burned my ears
She played so hot it burned my ears
I never felt so fine in all my years

She played all night, she played all night long
She played all night, she played all night long
But in the morning, in the morning she was gone

Lord won't you come, come and take me away
Lord won't you come, come and take me away
All I wanted from this world was yesterday

'Cause the fire's gone out, ain't nothing left but cold
The fire's gone out, ain't nothing left but cold
Ain't nothing to do but sit and grow old
beartato phd

(no subject)

Finished "South of the Border, West of the Sun". Beautiful, sad story. And, incidentally, the typeface it was set in (Zapf's Comenius) has really sexy parentheses.

Had lunch with techstep at Union Grill, lent him "Connections 3".

Thinking about redundancy and disjointness of terms under stubstitution and suchlike researchy things.
beartato phd

(no subject)

Ahh, I remember now. Generalizing patterns breaks most easily at pruning.
Hmph. Well, the only thing that's breaking with my encoding is a lousy second-order matching problem, and that's well-known to be decidable ferchrissakes.
beartato phd

(no subject)

Went over to sal's for dinner with tom and adam. She made vegetable lasagna. It was really quite good.

My brain is still spinning with higher-order matching and interpolation and finite lambda-calculus models.