[SeanLuke]

I go by my real name on HN after all, and Jim's my advisor.

So what was this about disambiguating homonyms again?