Isn't Anki good only for memorization? Spaced repetition doesn't seem to help learning how something relates to another logically like how to determine when to use what programming patterns.
You can make cards for those.
Of course, if you're making cards on those without understanding and internalizing, the cards won't help you.
First you understand something, then you convert that understanding into flashcards so it sticks in your long-term memory.
It's spacing + testing effect: https://en.wikipedia.org/wiki/Testing_effect
Suppose you can solve some problem or prove some theorem today. Then you try to do it again next week, next month and so on. It's very different from rote memorization.