There are exponentially many vectors with small inner product | Hacker News Reader