How Many Leetcode Problems Googlers Have Solved?