Jason (jcreed) wrote,

Well, I thought I was completely tired and ready to go to bed as I left the party at like quarter to eleven I think, but I got home and got started hacking and here I am at 2:30 and feeling fairly awake still.

The hacking had to do with the fact that I wanted, per the request of some of the undergrads, to run a little twelf tutorial some time during finals. I figured, hey, maybe I should prepare a few slides to make things run nice and smoothly. But wait! I remember that I am living in this modern world where "slides" need not mean "TeX bullet-point mode in landscape format" but rather "arbitrary crazy fun Flash shit". And arbitrary crazy fun Flash shit includes the XMLSocket object, which, despite its name (much like javascript's XMLHttpRequest) has about jack shit to do with XML as a matter of principle. Really it means that you can do pretty much arbitrary standard socket communication to servers that live on the same host as the SWF file does. So the reason I'm still awake at 2:30 is I learned the unix socket API that smlnj provides enough to get a flash program to talk to twelf. SERVER OK makes a nice big green checkmark, and SERVER ABORT serves you up a menacing red X. Maybe I need some game-show RRRNK wrong-answer sort of noise, too. Clearly my judgment is somewhat impaired by the early-morning time.

Ridiculous machine-checked (and dynamically machine-recheckable as I type in e.g. examples proposed by the audience) presentations, here I come!
Tags: presentations, twelf, wankery

  • (no subject)

    Didn't sleep well. Long day of work. Dinner with akiva at hanamichi.

  • (no subject)

    K was going to do a thing for her dad's birthday, but scheduling kept slipping and slipping so I guess we're going to try doing it tomorrow instead.

  • (no subject)

    Had a pleasant lunch with paul and gabe back from working-at-facebook times. Discussed the important issues of the day, by which I mean video games…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded