Is there a new official Kotlin leaderboard for 2023?

I guess we’ll go with the previous ones.

Okay, maybe my question was misleading… It should be “_Is there an official Kotlin leaderboard? If so, what is the join code?_”

Yes there are 5 if I remember correctly, somewhere on kotlin blog last year...

Wow! 7!

New leaderboards would be nice, as otherwise there will probably be many on the leaderboard that aren't even participating

True

this, or the board owners could remove users not participating after first week.

wouldn't that also remove them from the leaderboard in 2022?

Yes it would

🧌 idea for over-engineering this: create a bot that joins all of our leaderboards, and then presents them in a unified form on some external site

I created a tool to do that last year

nice