We were scheduled to go back to nyc today, but a sequence of unanticipated problems got in the way. Traffic was worse than expected on the drive to the rental-car place... and then the rental-car place was not where google maps said it was. We spent a stressful 5 or 10 minutes trying to find it, until the point at which it became clear that we just could not possibly make the train.

We eventually found it, one block over, (in a COMPLETELY different place from where the Amtrak counter told us it was) but around a really weird back way, on the 5th floor of a parking garage that was BARELY at all indicated, only really visible once you got right up to the parking garage entrance. So you had to stop and get a ticket (as if parking there for real) drive up four flights of garagespiral, park, wondering all the while if this is what you're supposed to do, find a TINY sign saying "enterprise office 1st floor", wait for an elevator to take you down there, find a TOTALLY DARK enterprise office, discover they only open at 8am. Except there are some people in the back... with no lights on but their computer monitors. One of them, after 5 minutes or so, comes out and processes our return. R a t h e r slowly.

So, really, even if we had got to the exact right place as soon as humanly possible, we probably would have missed the train for vastly underestimating how long car rental return would take.

Anyway, the good news is Amtrak let us change dates to tomorrow at absolutely no cost, and , world record holder of tolerating jcreed-presence in his living-space, said we could crash there one more night.
Tags:
• #### (no subject)

Playing around with the agda javascript backend, now. Like, my ears are popping from the sudden change of type-theory-pressure.

• #### (no subject)

Trying to understand in general what kind of diagrammatic interactions between degree-three nodes actually read sensibly in the lambda calculus:

• #### (no subject)

Not sure this is the simplest possible inverse (or even that it is correct) but it makes for a fun diagram:

• Post a new comment

#### Error

Anonymous comments are disabled in this journal

default userpic