Encountering the roots of mathematics | Dark Hacker News