Jason (jcreed) wrote,

Got a lot of programming on the theorem prover done.

Read some more of Bill Bryson's ode to his travels in England, "Notes from a Small Island". I loved his description of meeting his to-be wife when the two of them both worked in a mental hospital:
"[...] At the far end of the room, there moved a pretty young nurse of clear and radiant goodness, caring for these helpless wrecks with boundless reserves of energy and compassion --- guiding them to a chair, brightening their day with chatter, wiping the dribble from their chins --- and I thought: this is just the sort of person I need.
We were married sixteen months later [...]" (p. 79)

Went to a birthday party for valerie, a friend of donna's. It was okay, but more importantly I made off prunte with donna's copy of MacKenzie's "Mechanizing Proof", which looks awfully good.

Wrote a little something at the zebra lounge harmonically rather similar to "distance" but with a bit more bite to it, flat ninths and sharp elevenths and all. My laptop battery was low at the time, so I just scribbled down the chords and the skeleton of the melody. Maybe I'll type it in tomorrow.

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • (no subject)

    Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 1 comment