His username here is rtm: https://news.ycombinator.com/user?id=rtm