(16 Jul 2004 at 08:18)
| All right, this stressful week is nearing an end. I just gave my LICS talk, which went really well. It seemed to me that there were significantly more non-sleeping listeners than for most of the other talks I attended.|
More importantly, I finished up my POPL submission, which advisor Bob calls "charming" and Karl "a thing of beauty." I'm glad to hear that, because this was painful to churn out. You can read the submission if you like that sort of thing.
The paper is about a sort of computational time travel interpreted spatially. This sounds pretty sci-fi if you don't really know the material! For the non-technical audience, here is a tale from the paper that describes the gist of what this language does:
A magician who purports to be from the future is making bold claims. Asking for a volunteer, he offers the following prize to anyone who comes on stage:
"Im going to hand you a box that has you inside it!"
"Either that, or I'll give you the address of a place with a magical time travelling portal."
Being questionably brave, you volunteer and walk onto the stage. The magician hands you your prize--a large cardboard box. Noting your skepticism, he adds, "You can open it anywhere, and you'll be inside."
You decide to take the box home. Its much too light to have anything in it, let alone yourself! You open the box and look inside, wondering what sort of gag he has planned. But suddenly you find that the box has disappeared, and you're standing on stage waiting for him to tell you what you've won, again.
"The address of the time-travelling portal is," he begins, rattling off your home address.
You are startled that he could have known your address, but when you later arrive home, you see an open cardboard box waiting. Is this supposed to be the portal? Knowing it to be harmless, but insisting upon proving the magician to be a fraud, you step into it.
A hot flash of embarassment passes over you as you realize that you are now standing in a cardboard box, in your house, as promised.
|Any paper that involves a wonderful anecdote involving the reader making a fool of himself is automatically a thing of beauty, I believe.|
|wait wait, i think i've heard this joke....|
|And then the farmer says...|
| I think you meant happy birthday !
|Yes, you're right. ;)|
|i love your fonts. i'm a webdesigner and a good font is such a must. you are great. i wish i could make fonts, lol i'd make one of my handwriting. again, great job!|