Tricki – a repository of mathematical know-how (2020) | Dark Hacker News