Searching for a [72,36,16] extremal code | Hacker News Reader