A Mathematician's Lament | Dark Hacker News