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.
Unisys's last international patent on LZW compression expires tomorrow. That means that we're finally free to use GIFs without fear of being sued, and more importantly to safely include gif-encoding routines in free software. (The Escape server side will soon be making GIF screenshots.)
UPD: Picture Pages Picture Pages
(03 Jul 2004 at 13:38)
I added pictures from our trip last weekend to Rye NY to see my cousin Todd get married. The pictures are not too bad considering that I was in like, the last row, and there are even some pictures in there of things that aren't weddings.
Does anyone know a way to generate clean eps, ps, or pdf outlines (no dependencies on fonts) from latex? It seems that this should be easy, but it's not. Is there any program that just "un-fontifies" a ps or pdf file?
Alternately, does anyone know how I can load a latex or pdflatex generated ps or pdf into Illustrator without it becoming garbled?