Martial arts, reading, long walks, lifting weights.

No,

I worked as a manager at a local German company in Germany with a strong Worker's Council team. Performance Management was run through them, they had comments, the process was adapted and managers were onboarded. This is not to say that performance management doesn't suck in general (because once you start having metrics, people start gaming them and you're almost superimposing it on people's way of working), but the Worker's Council didn't block it, because at the end of the day it was neither invasive nor exploitative.

EDIT: typos.

I haven't used Nim but your comment made me remember that language, yeah it was forgotten but I am not sure if it's completely abandoned, it seems that their team has been launching new language releases on a nice cadence: https://nim-lang.org/blog.html

Lately, a lot of work has shifted to nimomy: https://news.ycombinator.com/item?id=43894666

I was aware that the Random function call gets evaluated in Python (and C) every time the loop iterates, I just couldn't imagine the probability distribution myself, I had assumed that all numbers are uniformally distributed but didn't cater for the sums. You're a legend! Now I see it. I wrote the following code to check out your argument and it checks out indeed :thumbs-up:

  def p(n):
    total = 1
    for i in range(1, n):
      total *= (100-i)/100
    return total


  for i in range(1, 100):
    print(f"p({i}) = {p(i)}")

The first 13 results:

  p(1) = 1
  p(2) = 0.99
  p(3) = 0.9702
  p(4) = 0.9410939999999999
  p(5) = 0.9034502399999998
  p(6) = 0.8582777279999998
  p(7) = 0.8067810643199997
  p(8) = 0.7503063898175998
  p(9) = 0.6902818786321918
  p(10) = 0.6281565095552946
  p(11) = 0.5653408585997651
  p(12) = 0.503153364153791
  p(13) = 0.44277496045533604

p(12) sits at 50%, of course it will be the mean! :D

> p(12) sits at 50%, of course it will be the mean!

Technically, “the mean is 12” does not follow at all from “p(12) sits at 50%”.

“p(12) sits at 50%” implies the median (https://en.wikipedia.org/wiki/Median) is 12, and that can differ from the mean (https://en.wikipedia.org/wiki/Arithmetic_mean) of the distribution, and the difference can be quite large.

For example, if that list were to continue

  p(13) = 0.44277496045533604
  p(14) = 0.44277496045533604
  p(15) = 0.44277496045533604
  p(16) = 0.44277496045533604
  p(17) = 0.44277496045533604
  p(18) = 0.44277496045533604
  …
  p(1000) = 0.44277496045533604
  P(1001]) = 0

the about 44% that makes it to 13 also will make it to 1000, and the mean value will be a bit more than 442.77496045533604 (the contribution of that 44.2%)

If, on the other hand, it were to continue

  p(13) = 0.44277496045533604
  p(14) = 0.0

No result would be higher than 13, and the mean would be lower than 12.

Yes, that's true. I don't want an average of 50. My initial guess of 50 is wrong. I am trying to understand why the average turned out to be approximately 12.

Not sure that adds up, I translated the right side of the equality into a Python statement and it returns a number I am not sure how to interpret:

  1/99 * sum([(i-1)*i for i in range(2, 100)])   # 3266.666666666667

Both the median and mean are around 12 for 10K runs of the loop.

I edited my response with an apology! Thanks for checking!

No worries, I think your solution coverges with @Someone's above, if I am not mistaken. You're multiplying the probabilities for all values of j up to i for all values of i.

Yes I am and yes I think it does:

edit - actually, the calculations from the other guy are probability calculations, so this is related to the median. I have given you a mean calculation, which should be related to the average. But you already mentioned that they are close ...

me too please?

And another!

I just changed the DNS on my unrooted Android to AdGuard's, went into the YouTube and I still saw the ads. What am I missing?

You need NewPipe for unbloated, distraction free YouTube on Android.

Or you could also install the Fennec browser, install the ublock extension, go to the desktop version of youtube and click on the install PWA button to install the mobile youtube PWA, which will be affected by ublock.

That's just a shortcut to youtube.com on Firefox/Fennec, ReVanced (revanced(dot)app) is a much better solution.

Yeah but I really don't want to install any GMS-related stuff on my phone, not even microg, I don't want to have services hanging in the background wasting RAM just because I sometimes watch YouTube :)

Fair

The DNS can't block YouTube ads because then the whole of YouTube would be blocked. You should use ReVanced instead for this. (Or uBlock Origin in Firefox)

Well, this is awesome. I see that they also have another one on Redis (https://build-your-own.org/redis/). That will be my next fun project. Thanks!

EDIT: typos.