Monthly Archives: February 2007

Faces of War

The WWI mask shops took over where the rudimentary plastic surgery left off:
“Thanks to you, I will have a home,” one soldier had written her. “…The woman I love no longer finds me repulsive, as she had a right to do.”
http://www.smithsonianmag.com/issues/2007/february/mask.php

MILL, BMCCs, and dinatural transformations

I’m looking at multiplicative intuitionistic linear logic (MILL) right now and figuring out how it’s related to braided monoidal closed categories (BMCCs).
The top and bottom lines in the inference rules of MILL are functors that you get from the definition of BMCCs, so they exist in every BMCC. Given a braided monoidal category C, [...]

Job, Isaiah, Percy, Sting

Job 30: 29
29 I am a brother to dragons, and a companion to owls.
Isa 13:19-22
19 And Babylon, the glory of kingdoms, the beauty of the Chaldees’ excellency, shall be as when God overthrew Sodom and Gomorrah.
20 It shall never be inhabited, neither shall it be dwelt in from generation to generation: neither shall the Arabian [...]

stay@google.com

I’ve accepted a job at Google in their Applied Security team. We’ll be moving at the end of March, when the quarter is over. I don’t know if my first choice of email address above will be the one I get, but I can’t imagine someone else has it. My second and [...]