Making flashcards takes longer than studying, so I built a lazy study coach on open-weight models