Minor update: now if you write someone's username in a comment like "~news", it will notify them of your comment.

I still need to implement this in actual posts, though, right now it only works in comments.

(UPDATE: Now, you can ping people from posts as well!)