Nope, this is (was?) his profile: https://news.ycombinator.com/user?id=there