!
i hadn't realized that lamport had ended up at msft research. cool.

i don't know how it is now, but back 10 years ago, the research folks got lots of freedom to do weird shit that might be completely unlikely to be productized at any point in the near future, which is a good thing.