November 24th, 2005

beartato phd

(no subject)

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!
beartato phd

(no subject)

I ♥ CMU undergrads. It's not like it's a particularly stunning rendering of it, but the fact that someone after a probably already long 212 assignment (one that happens to allow 2d graphics output) would go to all the effort of implementing, above and beyond the requirements of the assignment, fixpoint arithmetic cosine and parse some crazy file format so that they can get a rotating 3d utah teapot --- well, it just warms my heart, it does.
beartato phd

(no subject)

My advisor Frank Pfenning invited a bunch of his students, including me, over to his family's thanksgiving (early) dinner today. There was Deepak, Sungwoo, Jonathan, Sean, and also Frank's colleague Tobias Nipkow, Nancy, Nils, Andreas, and Andreas's girlfriend Mary. I ate some tasty food and delicious multi-berry homemade pie, played on their dusty and rarely used (but still in-tune) piano, and Nancy foisted a copy of Chris O'Reilly's Radiohead covers on me. It is awesome.