Huh. I'm reading this because I'm attempting to at least partially walk your path right now, although with a different set of math subjects (starting off with my lacking foundations in probability theory and Bayesian statistics, moving towards algebra and category theory, and also algorithmic information theory, and also wanting to work on my foundations in logic to accompany my healthy knowledge of computability theory).
Mostly I'm just finding that bashing my dopaminergic circuits with reward signals when studying helps to overcome the akrasia -- to the point that I now find myself regularly tempted to study my unofficial material rather than work on my official research and coursework!
Also, I've discovered the CoqIDE theorem-proving assistant is about as addictive to me now as Legend of Zelda games used to be.
Subscribe to RSS Feed
= f037147d6e6c911a85753b9abdedda8d)
For what it's worth, I never got into the habit of using Anki until I installed the mobile app on my smartphone. This happened about three years ago, and since then I've been using it on a daily basis, primarily during commutes. If your experience is limited to the web or desktop versions, do consider giving the mobile app a try.
I did use it on my phone more than anything when I did use it. I just don't have much information I want to memorize at the moment.