US manufacturing strengthens in October, input prices stay high | Hacker News Reader