Tagging - 2023-08-18

« first day (4084 days earlier) ← previous day next day → last day (555 days later) »

Martin Sleziak

03:57

I'm in favor of blacklisting that tag. The word "generalization" is very vague. I would imagine it's a hassle to keep deleting the tag. — Accelerator 3 hours ago

You could say generalization is a very... general tag? — Jme 2 hours ago

Some statistics related to the tag (generalization) (including some previous occurrences of this tag) were mentioned in the Tagging chatroom.) — Martin Sleziak 34 secs ago

@XanderHenderson I see that you're now looking into some tags. You asked me to ping you to remind you about sumset and minkowski-sums.

8 hours later…

Xander Henderson

12:30

@MartinSleziak Yes! Thank you. I had completely forgotten.

Probably minkowski-sums should be made a synonym of sumset, given that the former only contains 12 posts, while the latter has 90.

It is done.

Martin Sleziak

12:53

@XanderHenderson Thanks! Will you post an answer (or at least a comment) to the relevant meta question that the synonym was created? I should I mention this?

Xander Henderson

@MartinSleziak Good call.

I marked it status-completed and left a comment.