Using Anki for Mathematics | Dark Hacker News