Jason (jcreed) wrote,

Recently, my main work project has been a mixture of thesis and condensed-version-of-thesis-for-LICS paper writing. My main after-hours project has been fiddling with trying to write a little emacs minor mode to do nefarious things to semistructured text files. It's sort of fun, but it certainly puts me in the mind set of lisp/perl/shell/javascript/flash hacking, in that it's a lot of run-time experimentation and debugging to get anything done.

Today I got bored of writing and tried to fix up an outstanding problem with my prototype HLF implementation. Wrote some code, got it to compile, ran it, and braced myself for the error messages.

Nope. It just worked. It's good to see you again, SML. I missed you.
Tags: programming

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