Looks like they changed the post link to a Bloomberg article instead but kept the comments thread. So I guess he’s already aware.

> No idea if it's possible to call in @dang via at-name?

No. Email hn@ycombinator.com

https://news.ycombinator.com/newsfaq.html