Skip Navigation

Posts
9
Comments
182
Joined
2 yr. ago

  • A round number is a number that is the product of a considerable number of comparatively small factors (Hardy 1999, p. 48). Round numbers are very rare. As Hardy (1999, p. 48) notes, "Half the numbers are divisible by 2, one-third by 3, one-sixth by both 2 and 3, and so on. Surely, then we may expect most numbers to have a large number of factors. But the facts seem to show the opposite."

    A positive integer n is sometimes said to be round (or "square root-smooth") if it has no prime factors greater than sqrt(n). The first few such numbers are 1, 4, 8, 9, 12, 16, 18, 24, 25, 27, 30, 32, ... (OEIS A048098). Using this definition, an asymptotic formula for the number of round integers less than or equal to a positive real number x is given by N(x)∼(1-ln2)x+O(x/lnx)

    (Hildebrand).

    https://mathworld.wolfram.com/RoundNumber.html

    Alternatively, a number rounded off to a given precision in whatever numeral system you are using. E.g. ten in decimal may be round if you are dealing with small numbers in the decimal system, but it wouldn't be particularly round if you were dealing with large numbers or hexadecimal.

  • Their statement said nothing about giving a complete experience from day one. You cut out the central part of the whole statement which is "without the need for additional purchases".

    The whole point of the public statement is about not requiring users to spend additional money to get the whole game. It got nothing to do with early access.

  • Some puritan servers automatically censor certain swear words. If a user of one of those instances swear, the word is replaced with removed, if a user of another instance swears, only the puritan server users will see the word as censored, the rest will see the real word. The word for a female dog is one of those censored words for certain servers.

  • what?

    Jump
  • Just be a decent human being and use type hints in python, problem solved.

  • Sounds like you are missing the point completely, likely in bad faith too

  • Traitor sounds too soft compared to the word we got for it in Norway, but "traitors of a country" in war rarely rouse much sympathy.

    E.g. the majority of Norwegians are against the death penalty, but you would be hard pressed to find many opposing the decision to execute Quisling after the war.

  • I remember reading those comments on the post with Jerboa so they weren't hidden in the app at least.

  • Taiwan would never attack China, the only way a war between China and Taiwan happens is if China invades Taiwan.

    China saying this increases the "risk" of war is nothing but doublespeak.

  • Guido once said on a podcast that if they ever ended up doing python4, removing the GIL might be one of the reason for that move. He wanted to avoid the issues we got with python2 - > 3 though. I wouldn't worry too much.

  • I ended up finding a oled theme and then just tweak it to fit my taste. It's a bit of a hassle but you can upload it to the marketplace to have easy access to it across your units.

  • Control over one of the biggest "news" sites in the world probably.

  • That logic would apply to alien spaceships too though

  • My impression is that it was a reference to confederate statues/stuff being removed. I don't think there are many non-Americans that really care about that topic which is why I specified.

  • Take a look at modern DnD. You can't have evil races species anymore.

  • I think it's a reference to the fact you got Americans defending a faction that started a civil war over the right to own other people.

  • Can someone tell me what their angle is? Are user's supposed to curate and help train the model for free? Is it just a model trained on stackoverflow data?

    All their data is open so what edge do they over the already established competition.

  • Kaedrin mod manager, runcher, Prop Joe's manager and a deprecated one by a user on the modding discord. We got plenty of mod managers in development but nothing as developed as vortex.

    Vortex allows for profiles, configuration during installation, easy install for central "mods", very visible mod version, etc...

    I'm sure runcher/Frodo's new mod manager will get there, but my point is vortex got everything a user and a modder may want for that game.

    Also, I'm not sure if Kaedrin is actively developing his mod manager, he doesn't seem very active on the discord.

  • What's the problem with vortex? As a modder for total war, I dream about the day total war would get a mod launcher like that.

  • Well that was quick. I barely had the time to look it up and edit my comment lol.

    Thanks, appreciate the response.

  • No link or explanation for what it does?

    Edit:

    hyphenate-limit-chars: 10 3 4;

    In the CSS rule above, the last declaration indicates to the browser that it should hyphenate only words of 10 characters or more and, when it does, three is the minimum number of characters before the hyphen and four is the minimum after the hyphen.