## March 12th, 2010

### (no subject)

I always tell this story about my high school chemistry teacher showing us a video of Alkali metals reacting explosively with water, and him being just as enthusiastic as all of us about Shit Blowing Up Real Good. The exact video we watched just appeared on reddit.

### (no subject)

Gave a sloppy chalk-talk at PL club about the current research project --- still this distance-sensitivity differential-privacy programming-language nonsense. I think it went well.

I continue to feel very lucky that I stumbled into working on this project; it lends itself to so many tiny more-or-less tractable sub-problems and puzzles that I get a constant trickle of new stuff to play with that gives me some feeling of forward progress, even though it's not always entirely clear towards what.

Anyway the new thing that came out of the discussion after the talk is that while you can't lift "distance sensitive comparison functions" (by which I really mean sorting-network-like compare-and-maybe-swap operations that have a type like τ * τ -o τ * τ that take two elements of τ and puts them in sorted order --- this is in contrast to the usual world where we have the luxury of being able to demand discontinuous comparison functions τ * τ -o bool) up through product types, you can lift them through sums. Because totality of partial orders is preserved by order-sum, but not lexicographic product? I think that is the essential reason anyway.

Afterwards I got a good few solid contiguous hours in the Paper Writing Zone. I am a machine for turning burritos and nilla wafers into theorems!

### (no subject)

This week's font, "Doppio" is sort of ridiculous. Working under time constraints, woo?