The Evolving Foundations of Math | Dark Hacker News