Martin Sleziak's room

« first day (1857 days earlier) ← previous day next day → last day (1878 days later) »

Feeds

06:15

Martin Sleziak has added Alexander Gruber to the list of this room's owners.

Martin Sleziak has added Jyrki Lahtonen to the list of this room's owners.

Martin Sleziak

This was just a test related to:

in Pearl Dive, 6 mins ago, by Jyrki Lahtonen

@quid I wanted to make Alexander Gruber an owner of this room. Copied his user number to the appropriate input box, and clicked the appropriate button. Instead the system made an unknown user an owner. Copying a link to Alexander's profile page did not help either. Apparently the chat user numbers aren't equal to the numbers in main (should have known that), but anyway.

skillpatrol

Martin Sleziak

in Pearl Dive, 6 mins ago, by Jyrki Lahtonen

I did figure out the meaning of pinning a message. May be that functions as a "sticky"? That is, something that stays listed in the right margin?

There are two ways of starring for room owners:

1. You can pin a message.

2. You can star as interesting.

The first one is only available to room owners - and such message will stay at the top of the starboard for some period (14 days) and then converted to regular star.

Starring just gives it on the starboard - it will be moved down if new messages are starred. (Or move up - messages with more stars can be higher than more recent message with less stars.)

You can't star you own messages - only pin it.

But there is a workaroud - if you pin your message and then click on "unpin" it will remain starred. (IIRC you can do this only once, so if you do that by mistake, you need another RO to pin the message.)

At a test I have pinned and then unpinned the above message - it is not among starred messages.

3 hours later…

Feeds

09:02

Martin Sleziak has removed Alexander Gruber from the list of this room's owners.

Martin Sleziak has removed Jyrki Lahtonen from the list of this room's owners.

6 hours later…

Martin Sleziak

14:45

Is Koellner in the last paragraph just a typo, or does this author uses both Kellner/Koellner? (In the linked paper the name is spelled Kellner. I was a bit hesitant to edit, since there is at least some chance that you have used both spellings in the post on purpose - so that people searching for either variant would find the post.) — Martin Sleziak 1 hour ago

@Martin: In some circles it's called a typo. In others it's called a misprint. (See also mathscinet.ams.org/mathscinet/search/…) — Asaf Karagila 5 mins ago

@AsafKaragila Unfortunately, I cannot see the content of the link you've given. (Behind a paywall.)

ThePuzzlerThree

sup

Martin Sleziak

In any case, it's not really that important - I suppose that Noah Schweber will be notified of my comment and he'll decide whether he wants to edit that post or not.

ThePuzzlerThree

hello