« first day (1240 days earlier)      last day (2137 days later) » 

7:42 AM
It's quite sad to see to see Jyrki Lahtonen's quitting as the moderator: Resigning from moderator duties.
3
I am pretty sure that Jyrki will receive many similar messages, but still I want to say that I hope he does not plan to quite the site entirely. After all, who would stay here to answer our questions about finite fileds...?
2
I haven't seen quid online for a few days (Last seen Jun 9) - but I hope this is just temporary. (I suppose quid would mention it somewhere it they had plans to leave the site for a longer period.)
 
 
2 hours later…
9:25 AM
@MartinSleziak Quid is travelling for about a week.
 
Thanks for the response. Good to know that they are ok. (Although after such a short time it would be soon to get worried.)
Since you say quid is away - perhaps this can be done by another mod, perhaps this can wait for quid: Renaming the “gersgorin-sets” tag.
I agree. If noone objects I'll implement it soon. Ping me if I forget. — quid ♦ May 29 at 15:05
I have also left a few comments about this in the tagging chatroom.
 
@MartinSleziak Can do. Just need a bit to click through the synonyms page (yuck).
 
This is perhaps interesting from grammar point of view - if somebody has a username with lowercase letter (such as quid, robjohn, mixedmath/davidlowryduda, egreg, etc.) what do you do at the beginning of sentence?
Wow that was fast. I see that already is a synonym (gersgorin-sets) to (gershgorin-sets) and also tag-info is displayed correctly.
Will you also post an answer on meta to say that this has been dealt with?
Oh, you already did. :-)
 
9:44 AM
@MartinSleziak Renaming is done by creating a synonym and merging. I'm not sure what happens if the synonym is removed, so I kept it.
 
I do not get the joke with Гершгорин and Hartshorne, but I'll try to look a bit in dictionaries.
 
@MartinSleziak Hirschhorn = hart's horn, in older spelling Hartshorne.
 
I see. So I would probably look in dictionaries in vain. I thought that I should look for Russian translation of "hart" and of "horn".
 
Yes, you'd have to start from the Yiddish/German version. Гершгорин is the Cyrillic transcription of Hirschhorn.
 
In any case, thanks for both renaming the tag and the linguistic explanation.
 
9:52 AM
You're welcome.
 
Although it seems that also Хиршхорн is used: at least I get some hist if I Google for Хиршхорн
 
10:03 AM
I should have used an indefinite article. Transcriptions/transliterations between Cyrillic and Latin alphabets are far from unique (consider the uncountably many variants of Chebyshev).
 
*hits (sorry for the typo)
 
 
7 hours later…
4:54 PM
@MartinSleziak Agreed! I feel the same way. I am encouraged, though, by his stated intention to still visit the site (but likely spending less time he has as a mod).
 
5:11 PM
@amWhy You're only agreeing with Martin because you don't want him to beat you up like he is beating @DanielFischer.
 
@AsafKaragila Well, yes, that too! :P
 
Real shame, I'm tellin' ya.
 
With all this talk about beating and hits, I will not be surprised if a mod comes here and tells us to behave.
 

« first day (1240 days earlier)      last day (2137 days later) »