See also: https://code.golf/ for a relatively recent gamified site with rankings