IRS has lost one-quarter of its IT staff since Trump took office | Hacker News Reader