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)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Went to a series of maker-y talks hosted by Pivotal. The last one, by the woman who runs Genspace, "New York City's Community Biolab" was pretty…

  • (no subject)

    I had already been meaning to dig into JaneSt's "Incremental" library, which bills itself as a practical implementation (in ocaml) of the ideas in…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded