35
$\begingroup$

Just curious ...

A brand new member posted a question this afternoon, and I posted an answer.

I know him quite well, and he was here in Bristol to give a seminar two days ago, and without giving it much thought I began my answer with "Hi!".

The "Hi!" has disappeared.

Is this something the system does automatically? Or did some evil, but very on-the-ball, moderator surreptitiously remove it?

I'm not in the slightest offended or bothered, just curious ...

$\endgroup$
0

6 Answers 6

24
$\begingroup$

I began this answer with a salutation, and hopefully it was never posted, because that's what the system is supposed to do, as per Jeff Atwood's answer on Meta Stack Exchange:

We now automatically remove salutations from posts as they are entered.

I got really tired of performing this edit over and over, so anything matching the form of …

^                 # begins at start of body
\s*               # possible spaces
(
hii?(?![a-z])|    # any of these greeting words
hello|
h(e|a)y(?![a-z])|
dear|
greetings|
hai|
guys|
howdy|
h(i|e)ya|
hola
)
.*?               # followed by anything, up to...
(
[.,;!-]+          # one or more bits of punctuation
\s*               # possible spaces
|
(\r?\n)+          # one or more newlines
)

… is removed automagically at the time of submission to the server.

(The regex above is not currently accurate. After the discovery of automatic hair removal the regex has been altered, though I don't know the details. If at some time the new regex becomes public — and I remember to — I'll update that part of this answer.)

$\endgroup$
14
  • $\begingroup$ The salutation ("Greetings,") was dutifully removed automatically. $\endgroup$
    – user642796
    Commented Nov 6, 2015 at 18:13
  • 51
    $\begingroup$ Thanks! Guess I'll have to stick with my usual "Yo, dude!" $\endgroup$ Commented Nov 6, 2015 at 18:26
  • 8
    $\begingroup$ @Jeremy: Seems to me that "Ahoy!" should work as well. Especially if you post your question on Talk Like A Pirate Day. $\endgroup$
    – Asaf Karagila Mod
    Commented Nov 7, 2015 at 9:58
  • 3
    $\begingroup$ Holla! According to the no-hair-theorem there should be no hairs anyway, however if the SE network wide implementation of automatically removing friendly things such as hi, thanks, etc is really a good idea, is less clear... $\endgroup$
    – Dilaton
    Commented Nov 7, 2015 at 14:46
  • 2
    $\begingroup$ Here is an exercise. Construct an answer where this automatic script removes something important for the answer. $\endgroup$ Commented Nov 7, 2015 at 17:20
  • 5
    $\begingroup$ @GeraldEdgar "Hairer proved in ..." $\endgroup$ Commented Nov 7, 2015 at 18:20
  • 2
    $\begingroup$ @Dilaton this answer on meta Mathematics makes a pretty good case for removal, I think. Then I never heard a convincing argument for greetings in posts as there is not even a conversation that is started. Moreover, mostly they are so informal or even sloppy as to be borderline disrespectful. $\endgroup$
    – user9072
    Commented Nov 7, 2015 at 19:30
  • 6
    $\begingroup$ @Quid I know that on other sites, SE tries to systematically erase any traces that the content is written by living human communities instead of some non-social life forms. The (completely legitimate) goal of the company is to get steril libraries of Q&A, useful to an as large as possible amount of external Googlers, written by volunteers. However, in human academic online communities, treating each other with due respect and appreciation does never hurt. $\endgroup$
    – Dilaton
    Commented Nov 7, 2015 at 20:11
  • 6
    $\begingroup$ @Dilaton as I tried to explain I do not even find the greetings one usually sees to be respectful, often quite the contrary. Furthermore, I would not know that research papers, book reviews (or even opinion pieces) or most any other form of academic text starts with greeting the readership in general terms. (Obviously, a letter or an email does, but this is something quite different. Although, for the latter it actually starts to disappear even there.) $\endgroup$
    – user9072
    Commented Nov 7, 2015 at 20:33
  • 2
    $\begingroup$ I wonder whether we could have some statistics on how often the removal regex is triggered on MO (preferrably in posts that do not get closed anyway). $\endgroup$ Commented Nov 9, 2015 at 11:44
  • $\begingroup$ @EmilJeřábek this would be interesting to know. In the interim to get a rough idea one can use searches for "Hello" and "Hi" and "Dear" like mathoverflow.net/search?tab=newest&q=hello or mathoverflow.net/search?tab=newest&q=hi or mathoverflow.net/search?tab=newest&q=dear with more than three thousand combined hits. Only a handful from after June 2013 when the script was introduced. I suspect the number to be significant, and one should also factor in a learning effect. That is, when the script deletes once the user might get the hint and not include the it next time. $\endgroup$
    – user9072
    Commented Nov 9, 2015 at 12:05
  • 4
    $\begingroup$ As I said, my original question was purely motivated by curiosity, and I certainly didn't intend to (re?)open a can of worms. I don't think that the danger of accidentally censoring the names of Hairer or Hi is a serious problem: I imagine most of us look at our posts after posting them, and would just be amused and find a workaround. On the other hand, I'm not entirely convinced of the need to remove salutations. In questions, it seems weird to start with "Hey guys!" or whatever. But we're a community where there's a fair chance that somebody answering a question by a brand-new member will .. $\endgroup$ Commented Nov 9, 2015 at 14:46
  • 6
    $\begingroup$ ... know them from outside MO (as in my case), and in that case it just seemed to me that it would be friendly to express my pleasure that he had come to MO, and that making him welcome might marginally increase the chance that he'd stick around. $\endgroup$ Commented Nov 9, 2015 at 14:49
  • $\begingroup$ @JeremyRickard The comments make some good points. On the last point: in my opinion a comment on the post is a good way to welcome somebody to the site. Generally, more conversational parts are in my opinion often better included in comments. On the need: well we still have about ten questions that start with "Hey guys" and hundreds that start with a spurious "Hi", "Hi all" etc. almost all from before we had that script. $\endgroup$
    – user9072
    Commented Nov 9, 2015 at 15:02
13
$\begingroup$

Boundary regularity of suitable weak solution for the Navier-Stokes equations, J. Funct. Anal. 268 (2015), no. 8, 2171–2187, MR3318646.

The above is supposed to be a reference to a paper by the mathematician Hi Jun Choe. If it appears as a paper by Jun Choe, then the salutation-deletion software has been over-active.

Edit: worse than I thought; it deleted the whole of the name, not just the "Hi".

$\endgroup$
3
  • 6
    $\begingroup$ The point being, this is not just a hypothetical discussion – there actually is a mathematician named Hi. $\endgroup$ Commented Nov 9, 2015 at 2:25
  • 1
    $\begingroup$ "this is not just a hypothetical discussion" To me it seems, so far it is. Or would you know of an actual instance where this caused some problem? Hypothetical instances where the script could cause some problem got discussed at length elsewhere. For example, "Hello World" or some such thing, could somewhat plausibly be the start of some programming question. And so on. And so on. $\endgroup$
    – user9072
    Commented Nov 9, 2015 at 7:36
  • 2
    $\begingroup$ By the way, the actual problem here is that you do not correctly mark-up a copy-paste quote from MathSciNet : -) $\endgroup$
    – user9072
    Commented Nov 9, 2015 at 7:49
8
$\begingroup$

${}$ Hi Jeremy,

The trick is to use tex. I preceded the salutation by dollar sign - open curly bracket - close curly bracket - dollar sign.

$\endgroup$
2
  • 4
    $\begingroup$ Actually, MathJax/LaTeX is overkill here. Since the salutation must be at the very beginning of the post, I'm nearly certain that a zero-width space (Unicode U+200B or HTML ​) would have the same effect, without having to render any MathJax. (Of course, it's more difficult to input such a character, but here's one for you to copy and paste: ​). $\endgroup$
    – user642796
    Commented Nov 8, 2015 at 6:18
  • 1
    $\begingroup$ If I see something like this on the man site I will edit it. $\endgroup$
    – user9072
    Commented Nov 8, 2015 at 13:33
3
$\begingroup$

Hairer proved in his thesis that all frobbits are easily zapped.

A test of deletion.

$\endgroup$
3
$\begingroup$

in his thesis, proved that all frobbits are easily zapped.

Another test.

$\endgroup$
1
  • 3
    $\begingroup$ Looks like you need some punctuation immediately after the offending salutation. $\endgroup$ Commented Nov 7, 2015 at 18:55
2
$\begingroup$

Hi!

Would you buy me a beer to teach you how to write "Hi!" (if you wish in large font) and the like without MathJax?

Doubt this can be prevented only with regexp...

$\endgroup$
7
  • 6
    $\begingroup$ My linear algebra professor used to tell us that if we go to the matrix market, and someone offers us a matrix tat he worked on for a very long time, we should ask to pass only finitely many vectors through before buying. Then we should input the basis vectors, and we'll know the matrix without paying. In this case, just click edit. :-) $\endgroup$
    – Asaf Karagila Mod
    Commented Nov 13, 2015 at 18:52
  • 1
    $\begingroup$ @Asaf this needs 2000+ though. (One could read the source of the page.) $\endgroup$
    – user9072
    Commented Nov 13, 2015 at 19:06
  • $\begingroup$ @quid: Odd, I was sure that when I clicked the "edit" button (also in the link at the end of my comment) I could see exactly what was going on... $\endgroup$
    – Asaf Karagila Mod
    Commented Nov 13, 2015 at 19:07
  • 1
    $\begingroup$ @Asaf I am not sure what is odd as you have well over 2000 points. $\endgroup$
    – user9072
    Commented Nov 13, 2015 at 19:08
  • $\begingroup$ @quid: If only we could have had a feature for suggesting edits for people with <2000 points... :-) $\endgroup$
    – Asaf Karagila Mod
    Commented Nov 13, 2015 at 19:11
  • $\begingroup$ @Asaf indeed, this would be convenient for them in such a situation. As it works quite well on the main site, they might also implement it for the meta site, eventually. $\endgroup$
    – user9072
    Commented Nov 13, 2015 at 19:17
  • 3
    $\begingroup$ @quid: Huh, that's something I didn't know about the meta sites. Kudos! $\endgroup$
    – Asaf Karagila Mod
    Commented Nov 13, 2015 at 19:23

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .