gwern helps cool Earth | Hacker News Reader