Jason (jcreed) wrote,

Straighten Up and Fly Right

Four or five hours of continuous work (well, just a pause in the middle for dinner) means I fixed one tremendously stupid bug, and at least located another which will either take a bit more hacking or persuading Frank to explain why Twelf isn't giving me η-long forms. My metric of success (number of TALT declarations successfully translated and typechecked in the new system) went up from 3278 to 4077 with two lines of code changed. And trivial lines at that; all they did was unpack an instantiated existential variable in a place where I neglegted to.

Today it is snowing, which is a little irritating, because I would really like it to be spring NOW PLEASE DAMMIT, but the hay bales on Frew Street look like nothing so much as giant frosted mini-wheats now, which I found very amusing.

Two days from now, if neither one of us is suddenly busy again and if we can hunt down a piano, a lovely and talented voice major name of Emily will be accompanying me on sultry old timey jazz standards. What? Oh, yes. I'll still remember you when I'm famous beyond all reason and prudence.

But seriously, I'm back in a pretty good state now. Besides tending towards "bustling downtown of mope city", livejournal's introduction of that extra punch of introspection into my life sometimes makes me realize things are going well.
Tags: music, weather, work

  • (no subject)

    Something that's bugged me for a long time is this: How many paths, starting at the origin, taking N steps either up, down, left or right, end up at…

  • (no subject)

    Still sad that SAC seems to end up being as complicated as it is. Surely there's some deeper duality between…

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