A reply below says that the username is a coincidence. I'm inclined to believe it. Why use your real name to troll HN over a pretty obscure topic that's not even related to the site's userbase?