Gostaria de saber como funciona um URL Shortener, como eles extraem o texto da barra de endereço e mapeiam para corrigir URL, depois redirecionam. Que linguagem de programação eles usam? Como eles mantêm o histórico do mapeamento? Como eles garantem a exclusividade do URL encurtado? Como um leigo pode desfazer o mapeamento sem visitar o URL?