China bans exports to US of gallium, germanium, antimony | Hacker News Reader