« first day (3326 days earlier)      last day (622 days later) » 

4:25 AM
Screenshot from the comments here: Subwords of cube-free binary words
 
4:39 AM
0
Q: Is there some difference between typing a username and using the auto-complete?

MartinWhen typing (or editing) a comment, after typing @ and the first letter of a username, we're offered the choice of usernames that were in the conversation and can input them into typing the whole username. Is the effect the same if the username comes from autocomplete and if the string is typed? ...

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...

10
Q: In the case of users with the exact same name, how do comment replies work?

JasperMy username isn't too specific (Jasper). Every once in a while, I come across someone else with the same name. And sometimes, we even comment on the same question or answer. Now, I don't mind all that. However, as such a situation occurred today, I was wondering about how pings work. Based on th...

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...

41
Q: How do I ping the right bob?

Journeyman Geek We have two bobs at the moment. Bob (with the fox avatar) is a long time user, and bob, with the green avatar. I'd like to ping Bob, without bothering bob with my pings. I see two ways to do this - It's trivial for me to get the username - so could we have a way to ping a user by user id numbe...

 

« first day (3326 days earlier)      last day (622 days later) »