An interesting number
Does the 10000th star-giver get a T-shirt? Or a ticket to JuliaCon?
It was on 10k so I unstarred and starred again… Does that count?
With you featuring so close to the top, I was wondering whether you did some unsavory manipulations!
Hah! This post just made me realize that I’ve never actually bothered to “star” Julia, despite using it for almost 3 years now! Well, situation corrected. Say hello to star-er #10,015.