Or they use something like https://www.hnreplies.com/ which many do. In any case the @ doesn't work regardless, it does not ping anyone.