Asymptotically optimal approximate Hadamard matrices | Not Hacker News!