« first day (3325 days earlier)      last day (54 days later) » 

5:06 AM
0
Q: Is there a way to `@` exactly one of two users whose names differ, if at all, only by whitespace?

LSpiceI recently approved an edit to Zeroes of characters of general linear group induced from certain characters of parabolic subgroups by user @math seeker. I approved the edit, which was otherwise excessive, because I thought it was by the same person who had asked the original question, @mathseeke...

@LSpice Here are some related posts from Mathematics Meta. (I have sent you an invite to this room - so I hope you'll get some kind of notification.)
4
Q: Who should be pinged by the "@<user>" feature if there is more than one match

user249332Recently in the main site, I visited the users tab, and there I searched for "Subhadeep Dey", and it showed two results, this one and my own profile, and in both the cases, the username is totally same. Though the other user has not participated in the site (just made an edit in Stack Overflow),...

5
Q: If several people use the same username, how do you ping just one of them?

user26647I want to get someone's attention by using the @username feature. But I noticed that several people use the same username. So how does that work?

6
A: Who should be pinged by the "@<user>" feature if there is more than one match

user642796From the Meta Stack Exchange How do comment @replies work? thread: Matching is performed in reverse chronological order, so if five people named John are participating, @john will match the most recent John. Note that only users that have somehow participated in a post receive notifications of ...

6
A: If several people use the same username, how do you ping just one of them?

robjohnIf they have all recently been in the chatroom you are in, or participating in the same comment thread, then there is no way to differentiate them. If you ping one, you will ping them all. user147263 points out that Rule 4 says that in comments, the user chosen is the user who matches the name...

 
5:21 AM
48
Q: Let me reply to one user among two having same names in comments

user178465Suppose there are two users that have commented on an answer. Both have the same user name, and I want to reply to one of them. How can I do this? It appears that, under the current system, there is no way for me to do this. Specifically, from How do comment @replies work?, I see that: 4. Ma...

 
 
2 hours later…
7:18 AM
683
Q: How do comment @replies work?

GnomeHow do the comment replies (aka "pinging users") work? Who can I send an @reply to? How do I respond to a specific user when entering my comment? Will they be notified? What do people mean when they talk about "pinging" another user? Related: How do I view the recent replies to things I have w...

The FAQ post "How do comment @replies work?" mentions that:
> Matching is performed in reverse chronological order, so if five people named John are participating, @john will match the most recent John. (Use the next rule to differentiate.)
(This was mentioned in the answers posts on Mathematics Meta that were linked above.)
 
 
2 hours later…
9:41 AM
One option (this would need testing) might be to use the @-mention and just have the part of the username before the whitespace. For instance, I have always operated under the impression that @firstname would work when the username is firstname lastname. But then this raises the thorny issue of the other user, firstname othername. — David Roberts 2 hours ago
@theHigherGeometer I believe the exact rules how the usernames are matched in are described in the FAQ post: How do comment @replies work? (The part with the title: "How do the names get matched?".)
567
A: How do comment @replies work?

GnomeYou can use @name syntax anywhere in your comment to reply to a specific user. This will notify that user in their global inbox. There can also be notification through email if you set it up in the preferences found in your profile page. This feature is specific to comments and doesn't work in po...

 
 
3 hours later…
12:35 PM
In a comment, if I type @ and the first letter, then the system shows me a list of all users eligible for @-mention starting with that letter. I can click on the one I want. What happens in this case? — Gerald Edgar 2 hours ago
This query might be useful in finding out whether such situation already occurred. (I've seen this query in comments in the meta.SO question.) — Martin Sleziak Aug 2, 2012 at 8:44
@MartinSleziak Good work it did here, funny... — draks ... Aug 2, 2012 at 8:46
@Arjan It seems to have happened on at most 148 posts on Stack Overflow, where one of the users wasn't also the post owner (in which case it doesn't actually matter). In a number of cases (particularly the ones on earlier posts), it seems the two users with the same name are actually the same individual, who inadvertently ended up with two accounts. As such, there doesn't seem to be a particularly pressing need... — Tim Stone Mar 19, 2012 at 0:26
Of course, the same query can be run on MathOverflow or on Mathematics.
Just in case somebody actually want to experiment with this.
 
 
3 hours later…
3:43 PM
11
Q: Who did I just ping?

kingledionMy slave mountain question was commented on by two Tim B's; Diamond Tim B, and Nova Tim B. I replied to Diamond Tim B in a comment @TimB. Which Tim B did I just ping? Both?

8
A: Who did I just ping?

SecespitusThe one who posted most recently. See also: How do comment @replies work?: Matching is performed in reverse chronological order, so if five people named John are participating, @john will match the most recent John. In your case you have pinged diamond Tim. There doesn't seem to be a way t...

11
A: Who did I just ping?

Tim BMe............................

3
A: Who did I just ping?

Tim B   IINot me. We have to fix this. More accurately, I have to fix this, I'm the Johnny come lately. What do I need to do here? Is it as simple as changing my name in the profile? Will that muck up all the other references in answers that refer back to Tim B UnDiamond? Update Hopefully this solves the...

 
4:14 PM
@DavidRoberts, I had always thought that, in that situation, the system simply dumbly notifies the alphabetically first user (which I guess would mean the one with the space?). But that is not based on much evidence. — LSpice 3 hours ago
As far as this is concerned, I will just repeat that there is quite detailed description in the FAQ.
> How do the names get matched?
> You must include @name, where name is a reasonable match to a user's current display name at the time the comment is submitted. You cannot use previous display names the target may have had.
> The notification must begin with a space or be at the start of the comment. For example, you cannot use markup such as italics.
> Note that the autocomplete may still show up even if there is a non-space character at the beginning of an @name mention. This does not mean that it will work.
> If the first word in the display name is at least three characters long, then there must be a starts-with, case-insensitive match of at least three characters in the display name. This means @a and @ab will never match anyone, unless a user uses a first word that is only two characters.
> Like: @Jo will notify Jo Miller, but not John, and @B. will notify B. Gates, but not B.Gates. If there are more than three characters in @name, then all given characters must match (neither @alix nor @aliceinwonderland will match user Alice).
> Matching is performed in reverse chronological order, so if five people named John are participating, @john will match the most recent John. (Use the next rule to differentiate.)
> Spaces are removed from the display names for matching purposes. So to match Peter Smith you may use @pet, @peter, @peters, or @petersmith. The last two are useful if Peter Jones is also participating, who can then be distinguished using @peterj. However, no spaces are allowed in the @name itself. Like to notify P Smith, one must use @psm or @psmith. (Here @P Smith would be handled as just @P, which is too short.)
> Single quotes, dots, dashes and underscores should not be removed.
> Special characters are replaced with their simple equivalent. To reply to Piëre you can use both @piëre and @piere. And to reply to Jörg you could use @jorg, but not @joerg.
 

« first day (3325 days earlier)      last day (54 days later) »