the gears to ascension comments on Voting Weight Discussion

[the gears to ascension]

you can think of log (base b) as inverting exponentiation. Here’s a graph to refer to when reading these.

b^x = y

solve for x, and you get:

log_b(y) = x

in other words:

log_x(x^y) = y

If you try to invert exponentiation where the result of the exponentiation was 0:

5^x = 0
log_5(0) = x

Then the only thing that could produce that result is -inf, because anything greater than -inf just produces a fractional result. So if our full function is floor(log_5(karma)+1)+1, then when someone had 0 karma, they would have -inf voting power.