US declares Xiaomi a “Communist Chinese military company,” bans investments | Hacker News Reader