Martin Sleziak's room

« first day (1253 days earlier) ← previous day next day → last day (2482 days later) »

Martin Sleziak

13:29

The second point - the claim that it is nowhere dense - seems suspicious. It would make more sense to say it is nowhere dense if it is embedded in another space. But if I have any non-empty metric space $X$, then $\operatorname{Int} \overline X=X$. So $X$ is not nowhere dense in $X$. — Martin Sleziak 1 min ago

@Martin: You're right. Why did you wait seven years to tell me that, though? — Asaf Karagila 1 min ago

@AsafKaragila Just to clarify - the way it is phrased it seems like: "It is a metric space which is .... nowhere dense."

Of course, I have no problem with: "It is a subset of $[0,1]$ which is nowhere dense." (Which is possibly what you intended to say.)

I have stumbled upon this today when I was looking for something else related to Cantor space.

If the linked post is bumped, I suppose the tag cantor-set could be added.

Asaf Karagila

13:46

@MartinSleziak Yes, probably.

@MartinSleziak I am always reluctant editing very old posts for no reason. Especially if a comment can be used to clarify the mistake. But if the post were to be bumped...

Martin Sleziak

Hi Asaf! I hope you're doing fine.

@AsafKaragila I have added the tag. (I think that this tag is a good fit for this question.)

Asaf Karagila

@MartinSleziak Well. Churning out old papers that have been in the oven for way too long. I need to clean the cache and start working on some new projects.

Martin Sleziak

It all depends on your definition on old post. This one was bumped by a new answer less than a year ago.

Hmm, yes. I have some stuff that should be written down, too. At least in one case the co-authors are becoming impatient.

Asaf Karagila

@MartinSleziak Anything over a month is considered old, but there is a continuum of age, and I have an inverse correlation between the age and the severity of the needed edit.

For a full blown mistake, sure, any age should be edited. For unclear language, it starts to depend on how much it affects the post and how old it is.

Martin Sleziak

Well, in this case, the question was bumped just now - by an unruly retagger.

I am rather careful with editing old post on MO. Since traffic on Math.SE is so big, I see it as less of an issue. (It will hardly be noticed among many new posts.)

Asaf Karagila

13:51

@MartinSleziak Unruly indeed. Someone doesn't get the hint that I am looking for less reasons to procrastinate typing in my proofs...

@MartinSleziak I hold quite the opposite view on MSE. Because the traffic, I want to give the stage to the newer questions.

Martin Sleziak

Although occasionally I noticed that post was closed shortly after I bumped it - people around here are much more strict nowadays.

BTW do you plan to look into tag-info for alternative-set-theories tag? Although based on the comments it seemed that Andres was planning to do that.

@Asaf Ah, very good. I was still waiting for a moment to think carefully about the phrasing of the tag-info. — Andrés E. Caicedo May 5 at 11:43

Asaf Karagila

@MartinSleziak Yeah, I don't know about all that. I might. I have much on my plate at the moment. And I am a bit fatigued with all the nonsense drama on MSE recently. So I've shifted down gears (in addition to the shift I've made in the last couple of years).

Martin Sleziak

Maybe if nothing happens for a long time, I might ping Andres E. Caicedo in a comment. But I suppose it's not in any way urgent. (And since he posted the question with that suggestion, he is very likely interested in that tag.)

Asaf Karagila

@MartinSleziak Yeah, if the tag survives and stabilizes, I will probably add it to my favorites at some point.

Or should I perhaps say favourites, now that I am in the UK.

Martin Sleziak

Indeed, there is quite a lot of conflict and drama. Which is often the case on meta: chat.stackexchange.com/transcript/19138/2018/2/22

Asaf Karagila

13:57

Yes. Quite unfortunate.

Martin Sleziak

It was nice to hear from you! I should get back to some stuff I should be doing. See you later!

« first day (1253 days earlier) ← previous day next day → last day (2482 days later) »

all rooms