Jason (jcreed) wrote,


Leaving for Florida today. Set my alarm
for 4:40, and slept through it. Mom woke
me up at 4:50, we left the house at 5:00,
met Jess at Oconomowoc at about 6:00, got
to the airport around 6:50, got through the
check-in line by 7:20, and up to the gate
about 8:00. Both the check-in and security
lines were extremely long. Finally got into
Ft. Meyers 12:40 local time.

Went to Nonna Maria's for dinner. I got some
Chicken Parm. The waiter was sort of subcompetent,
though. He never got us any drinks -- Kathy had
to go over to the bar to get everyone something
-- and messed up people's orders like three times.
My food was pretty tasty, anyway.

I hacked a little more on diamond inference stuff,
but it's still hard. I think I know what
the right rules -should- be, but the more I look
at them, the more evil I suspect the proof is going
to have to be.

  • (no subject)

    K's off at an atypically Saturdayish Type-Thursday event, so I stuck around the apartment hiding from 100-degree heat, and noodled around with…

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

    https://deadlockempire.github.io is a very cute edutainment game, meant to teach people about deadlocks and race conditions and concurrency…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded