DOGE Shrank the Payroll, Not the Deficit | Hacker News Reader