How likely is a given dot product? | Hacker News Reader