You don't have to @ their name here on HN, it doesn't work like Twitter. When you reply to them they'll see it already.
replyOnly if they go back through their threads.
replyOr they use something like https://www.hnreplies.com/ which many do. In any case the @ doesn't work regardless, it does not ping anyone.
reply