Currently, it seems like there are still possible bugs in the calculation of profit in the all-time profit leaderboard of manifold, at https://manifold.markets/leaderboards.
Will I think there isn't any, this month? this could either happen if i learn that what i thought were bugs weren't (the discrepancies are explained), or if the bugs are fixed.
More context here:
/Bayesian/will-the-hillary-clinton-leaderboar
and in the subsequent discord discussion:
https://discord.com/channels/915138780216823849/938171760237477998/1367559342756331542
Update 2025-05-01 (PST) (AI summary of creator comment): Regarding the handling of unranked profits:
The creator has stated they would not consider it a bug if unranked profits are included in the leaderboard calculation.
The creator has stated they would not consider it a bug if unranked profits are excluded from the leaderboard calculation.
Both of these scenarios are considered plausible intended behavior by the creator.
1,000it won't be a bug if either unranked profits are included, or unranked profits are excluded. those seem like two states of affairs which, if true, are probably intended behaviour. anything else seems like it would be a bug? i could be not thinking of a case where it wouldn't be a bug though, so i allow for the possibility that i judge that something was not a bug despite not falling into those two possibilities