I was literally was just looking at GitHub dataset availability and musing on this. A star from karpathy is worth a lot more than a star from open_claw_dood that just created his account 5 min ago.

In general, I’ve been dissatisfied with GitHub’s code search. It would be nice to see innovation here.