Jason (jcreed) wrote,
Jason
jcreed

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
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 9 comments