Researchers make progress with an older ed tech idea: personalized practice.