That's funny. I developed a crude version of that algorithm by separating my flash cards into easy, medium, and hard stacks. I spent most time on the hard stack and would downgrade the difficulty of cards after I increasingly mastered them.

Nothing groundbreaking. I'm sure other people have done the same things out of sheer efficiency - no need to keep going over the easy cards.