What is mathematics now, and what should it be? | Dark Hacker News