Use websockets to display the number of active developers.