Alexander Grothendieck has died | Hacker News Reader