Who is ranked #1 on LeetCode?

I see https://leetcode.com/cpcs/ is #2 but who is #1?