Last four for deletion today: D13, D14, D15, D16

Also D9 - D12 still need one vote. Thanks.

[ SmokeDetector | MS ] Repeating characters in answer (82): How can I compare two matrices? by Niharika Sharma on math.SE

Close: PSQ

An advantage to use the same tags as in SOCVR would be also the fact that tags in this room have been used mainly as a tool when searching for past post about specific things such as improve, re-open (or reopen), ...

... repost, duplicate (or duplicates), merge, etc.

Admittedly, this is probably more useful for situation which are relatively rare (such as merge) - there are simply too many posts about voting to close or delete to be able to search among them in a reasonable way.

One duplicate (or close?) vote missing here. A better target than the one that I initially proposed may be this: Apart from being “older,” the question shows a real attempt to solve the problem.

@MartinR I have cast the final the final close vote with the alternative duplicate target you suggested.

[ SmokeDetector | MS ] Potentially bad asn for hostname in answer, blacklisted user (70): Is the sequence of non repeating random numbers still random? ✏️ by Smurf on math.SE

@MartinSleziak "the final the final": Must be "finally the final" = "final^2" close vote!! :-)

I have just typed "the final" twice by mistake. Wasn't there some "finally final" sketch in Yes Minister?

@MartinSleziak Hahaha! I think you're right!.

@SmokeDetector @quid This user has been "featured" by Smokey at least three times in in roughly 24 hours' time. Yesterday, it was the same post, featured twice. I don't know if this feature is about the same post as that, or not. Is this a false negative?

The reports with this user in metasmoke are about two posts. One of them has a comment. Probability of 3 Heads in 10 Coin Flips and Is the sequence of non repeating random numbers still random?

The link was removed from the second one.

@MartinSleziak I am inclined to agree. The answer is (in my opinion) a poor answer, but I don't think that it is spam.

[ SmokeDetector | MS ] No whitespace in body, no whitespace in title (160): shgfjhdhggfsdfgsfdgf ✏️ by 143213 on math.SE

@Makyen This would be great, because it's easy to mess up writing the configuration and then it's annoying to fix it up.

@Makyen Regarding the values used, I simply didn't get what they were referring to; maybe a clarifying comment in the source code to this end would be helpful. I was simply trying to avoid using the same number for different things on different sites (as this was the pattern I thought to notice).

@Makyen We would be very happy to be able to use the alpha version, as this enables us to have all the awesome features included in future releases without doing any further work! :D

@amWhy It's now gone. But it's clear that the vast majority don't care to even try to follow the site guidelines at all.

@amWhy thanks. I'll look into it.

@XanderHenderson The question itself is too unclear, so I can't be sure what it's asking. The answer is probably trivial, and I've nothing more to add to the comments. Godel's incompleteness theorems, suitably generalized, do say that there are statement independent from any chosen system that interprets sufficient arithmetic (equivalently can reason about finite program runs) and itself has a proof verifier program.

And moreover, one can explicitly and uniformly construct such an independent (arithmetical) statement.

@RRL D1-D16 are gone.

Now, in any reasonable meta-system, we assume the existence of a fixed model of PA, called the standard model N, and hence every arithmetical sentence is either true or false. Since the Godel sentence for any system as described above Lord_Farin's chat message is an arithmetical sentence, either it is true or its negation is true.

A number of deletion candidates in old fashion while we puzzle out the details required to get the userscripts up and running in a sustainable way:

delete 1, 2, 3, 4

delete 5, 6, 7, 8

delete 9, 10, 11, 12

And one to reopen:

reopen This one

@user21820 True, but that doesn't make "not caring to even try to follow the site guidelines at all" therefore, okay.

@user21820 Hello! btw!! ;-)

@amWhy Of course; I was just, you know, ranting for 1 minute. =)

Hello too, but need to rush off in a few minutes. Will be back more during the weekend. =)

@user21820 See ya!!

@Makyen and all interested in the progress of automation: I have created an issue on the UserScripts repository so that things might be tracked in a simpler fashion: github.com/SO-Close-Vote-Reviewers/UserScripts/issues/147

Is there anything redeemable here? math.stackexchange.com/questions/3086015/…

That was a rhetorical question.

@Randall My rep lost in DVs after the question and the answers are deleted ;)

This does not answer the question at hand. Instead, it summarises a proof I linked to in the question three times.

@user21820 Thank you for clearing that up for me.

@MartinSleziak @AnyoneElse I seem to recall some advice on tagging which (essentially) says that you should use tags which narrowly explain what your question is about, and not to explain where your question might be applied. For example, I might have a question about the $p$-adic numbers, but because I view them as a metric space and don't care so much about the algebraic structure, the tag fields would likely be inappropriate.

Does anyone have a reference on meta for that understanding?

I ask because I think that this question (which is a perfectly fine question, I think) does not seem to have anything to do with fractals, except by way of application.

I would like to suggest to the asker that the tag be removed, but I am not sure that this would be appropriate.

Hi, @JohanAspegren!

Help with closure of this PSQ

@Lord_Farin Sorry about not having a comment there. When reading your changes, I'd considered the most likely thing was that the reason for the values you used not matching the value was that it wasn't clear that was how they were used. I added a comment (so far, only to the alpha version) as soon as I realized that (actually prior to asking you).

@Lord_Farin (alpha version changes) So far, I've changed it so any knownRooms are added to the list from which the user selects. Currently unchanged: If it's the user's first visit to a particular site, then the room matching that site is used as the default. If the room for a site has already been set, even if this was just done implicitly by the user previously visiting the site (after the script was installed). I'm willing to change that, but respecting a user choice desirable, IMO.

It's possible to do both, but gets a bit more complex (informing the user of the change, respecting an actual change made by the user, etc.) and I haven't written it, yet.

@Lord_Farin For most development, particularly additional features, I'd prefer to go with the alpha version, if possible (i.e. if there isn't, currently, a requirement to run under Greasemonkey 4; it will work in that eventually, but it's considerable work). So, you using the alpha version is good from my POV.

Request types the alpha version supports: for questions: cv-pls; del-pls; reopen-pls; undel-pls; "revisit (in 2 days)"; "revisit (in 11 days)"; "revisit (in N days)"; reflag VLQ; flag-pls spam; flag-pls offensive; !!/report; !!/scan; !!/rmblu; and !!/reportuser (currently it also shows reflag NAA on Q, but that's a bug (fixed)). For answers: all of those except cv-pls and reopen-pls (reflag NAA isn't a bug on answers). For suggested edits it does: review-pls.

Some additional SmokeDetector commands have been added since I made the above list. If you want additional request types, that's also possible. I've put the list here, because I considered it likely that more people will want to look over the list than will take a look at the GitHub issue. If there's discussion here, I'll try to keep the GitHub issue updated with any desired changes.

I expect that I'll push out a new revision of the alpha version of the request generator later today. I have a few more things to change and test prior to doing so.

@Lord_Farin I need to take a more detailed look at your changes for del-pls. Given that the desire was to also support del-pls on answers (which required more extensive changes), adding support for del-pls for questions to the released version is something I haven't looked at for more than a year, so I'll need to take a look.

Very poor NCQ in need of closure.

For deletion: D1, D2, D3, D4, D5, D6, D7, D8

@Makyen Thanks for your extensive replies!

@Makyen Maybe it's just me, but I'm not seeing any commits to the repository since yesterday, while I'm gathering from your comments that you already changed some things. Is it still in a local branch or am I looking in the wrong places?

@Lord_Farin It's still in a local branch. I still need to do a few more changes (verify detection of correct close reason from scraping the close banner on Math & add any config needed to have that happen correctly) and some additional testing prior to pushing it to the repository. I should be back working on it again shortly.

@RRL I voted to delete each one of them, but some of them still need a third vote.

@Makyen Ok, thanks!

@Lord_Farin Just to double check, you want tags in here to be meta tags, not main-site tags, so this, not this. Correct?

@Makyen This would be awesome, but not a deal-breaker.

It's not a problem. I added it as a per-known-room option.

@Makyen I prefer the latter, easier to see(with colorblindness). Is it possible both?

@Makyen Does this affect CVRA as well? I haven't checked the code.

@Holo Accommodating both in the request message can be done, but handling it might be somewhat more complex for some of the scripts. Is this-main-site-tag really easier to read than this-meta-tag? [Personally, I think they are both poor choices on SE's part wrt. contrast.] I would have expected the meta-tag, with slightly higher contrast between the background and the text (both gray), to be easier to read.

@Makyen If it will be complicated no need to worry about this, it is not that it is easier to see this, it is that it is easier to tell it apart from usual text

@Lord_Farin Currently, it's not expected the Request Generator generates requests directly into CVRA. (Did I understand CVRA correctly?) While that's possible, it would be unusual, as that's where you're moving requests which have already been handled, not freshly generated requests yet to be seen/acted on. As currently written, with the CVRA as the target for a new request, the defaults would be used. Requests moved into that room would remain as they were in here.

For SOCVR, I don't think I've ever used our "Graveyard" (equivalent to your Archive) as a direct target for the Request Generator. Although, we have a testing room, which I have used as a target (and that testing room needs to be added/defined so testing room-specific issues is easier).

If you want your Archive to be able to have requests generated into it that are identical to those into here, we can do that.

@Holo I definitely agree that it's significantly easier to tell apart from normal text. Which of them to use, or to use both, is really something that should be decided between the regular users of this room, not by me.

An additional possibility is that it would be easy to have yet another script that adjusted the contrast on either, or both, of these so that they are easier to read, and/or easier to distinguish from the background.

@Makyen I think you misunderstood. I meant the script that runs and archives things automatically.

But alas, I have to go now. These worries are for later :)

@Lord_Farin Yep. I didn't recognize our own acronym :-). The choice as to using meta/site/both tags does affect the Archiver and the Unclosed Request Review Script. How significant the impact is on either of those, I have not looked at in detail, yet. At a minimum, it affects some/several/many RegExp.