TIOBE is garbage. It is primarily based on google search hits. Red Monk's ratings are based on github and stackoverflow (which Clojurists actually don't use much) and typically has Clojure around 25, which I think it is a defensible ranking. Best estimates of devs using Clojure are 20k-50k (based on multiple sources, some public, some private).