Hoje é dia 25 de maio — se você estiver lendo esta matéria em outro dia, por favor finja que não leu nossa primeira frase. É neste dia que nerds de todo o mundo comemoram o “Dia do Orgulho Nerd” — data em que todos podem mostrar seus gostos para todos sem que exista qualquer