An volcanic eruption in 1257 A.D. impacted our entire planet. But which volcano? | Hacker News Reader