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