can anyone tell me how people are mining devcoin right now? can someone teach me too?