Você sabia que hoje, dia 25 de maio, é popularmente conhecido como o Dia do Orgulho Nerd? Mais ainda: você sabe qual a história e