Polymath proposal: explaining identities for irreducible polynomials | Hacker News Reader