I just ran the following Python code on Python 3.12.10:
from random import seed, randint
SEED = "" # Will be revealed at market resolution
seed(SEED)
n = 0
while n % 10 != 3: n = randint(10**11,10**12-1)
print(n)(This code generates a random 12-digit number that ends in the digit 3.)
This market resolves YES if this number is squarefree (not divisible by k^2 for any positive integer k>1) and NO otherwise.
sha256 hash of SEED and the value of n (salted):
36556e91e2fd74e9c783fdb2b84053e2e598c87659d249f69703f0d0d61f71e8
Obviously, I will not bet.
1,000People are also trading
@100Anonymous I disagree? The point of this market is whether people can do a basic density calculation correctly
@jatloe just because it is a calculation does not make it ranked. It is not actually predicting something. And there is no insider advantage that a trader could gain, which is an important characteristic of ranked markets.
@Quroe yep unranked.
@jatloe there's no punishment for unranking. as you know, we welcome most silly nonpredictive markets in this community. unranked markets still count for profit, trader bonuses, etc. the only thing they're removed from is leagues. I personally dislike that (un)ranked is a thing at all, but the reasons it exists are real and this clearly falls into one of the categories of markets where it makes a ton of sense that the rules apply to it 😅
@Stralor As a quick follow up, do non-mods actually have the power to toggle ranked as Market Creator after a market is created? If so, how do we do it?
@Quroe yes, you can do it by just adding the unranked tag or going to three dots then see info and toggling ranked.
@Stralor I am surprised how many people don't know that they can toggle ranked and unranked so easily.
@Stralor oh, never mind. It isn't actually in the See info menu, but as a creator, you can add tags to your market, including the unranked tags.
@100Anonymous ah thanks. yeah, use the same toggle we do then. I don't think non-mods can untoggle it however. or can they only untoggle it if they self-imposed? that'd be pretty decent
adding the topic manually does nothing afaik
@100Anonymous I know you can turn off "unranked" by deleting the topic tag, but non-mods don't seem to have access to adding the true "unranked" tag back, or at least, it doesn't do anything when you put it on in my experience.
Hold on... Let me science this out and test it.
@Stralor adding either the correct unranked tag or the non-predictive tag will make it unranked, as I have seen, or maybe it is out of date now.
@100Anonymous interesting! I always figured it was just about the toggle and the topic was moot. TIL they really might have just went with the simplest option of checking for tags
@Stralor apparently the unranked tag is bugged now, so although I tried to add it, it just says I can't due to some exception it can't add.
@Quroe it used to work earlier, or maybe it is only when the AI adds the tag, not when you add it manually.
@Quroe I know it doesn't flip the switch but does it contribute to leagues with the tag while the switch in the opposite position?
@Quroe The two unranked tags have been around for a while. (And non-mods can only add the one that does nothing.) My earliest comment on the subject I was able to find is from Jan 19, but iirc it was already old news back then.