Elon Musk publicized the names of government employees he wants to cut | Hacker News Reader