Jason (jcreed) wrote,
Jason
jcreed

Actually going back and making some progress tech-reportifiying my old 30-page monster of notes on redundancy elimination in LF. Fixing a few typos here and there, remembering how the unproven lemmas get proved, etc.

Messing around on the keyboard, I played B-Cmaj7-Bm/D, and I was like, damn, isn't that a post-Ok Computer Radiohead song? I went through a lot of the sample tracks on Amazon before finding out it was indeed Pyramid Song on their album Amnesiac, except I was half an octave off.

In my-mother-is-a-pittsburgh-tourist news, we went over to the nationality rooms in the Cathedral. I hadn't seen them all before. They're actually pretty neat.
Tags: music, work
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments