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