I'm fortunate to work for a company that grants $1500 per year on professional development budget.
We can buy things like courses, trainings, workshop tickets etc. and get that expensed.
Are there any recommendations?
Some noteworthy recommendations: Educative, O'Reilly annual subscription.
I find that video tutorials are better for learning ways to be efficient with tooling so random Youtube or conference videos work fine for me. Or even better, a remote pairing session with someone really strong in some particular tech!