Martin Gardner dies, aged 95. | Hacker News Reader