Pygmy - python URL shortener. I've been wondering how imgur creates their seven-character distinct urls and that got me down a rabbit hole of URL shorteners and the tricks they use.