The Former NFL Lineman Who Solved a Decades-Old Math Problem | Hacker News Reader