From manifolds to codes to the Leech lattice