Finding 5 5-letter words to cover 25 letters under 1.5s via Linear Programming | Hacker News Reader