How Much Mining to Power the World with Wind and Solar? | Hacker News Reader