Jason (jcreed) wrote,

Typed up that random thing in C# minor from a couple of days ago, "Never Worse, Never Better" (midi).

Yesterday I woke up at like 11am, much later than I usually do. Kind of irritating to feel almost the whole morning gone before you can even do anything about it. Tried to help adam get twelf compiled under the new version mlton, and encountered (but worked around) embarrassingly many mismatches between versions of the basis. It eventually compiled but then complained about not being able to find heap images, which is kind of ridiculous, since that's a smlnj-ism, isn't it? Maybe something in the makefile is still wrong.

In any event, got some food finally around 3pm at the olive garden. It always tastes really good when I'm crazy hungry. Came back to campus to work with tom on the theorem prover some more.

Later that night watched "The Big Lebowski" and some more of "The Office". Both were pretty awesome.

  • (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