* Stanford's CS234 class which is on youtube and has assignments at the course page [1]
* Textbook freely available from Sutton and Barto [2]
I'm hoping to use it in a project with Lean [3] to make an AI that proves theorems.
I'm intending to move to emacs (well, spacemacs) for all my non-Java text editing so I'm also investing time in that.
[1] http://web.stanford.edu/class/cs234/
[2] http://incompleteideas.net/book/RLbook2018.pdf
[3] https://leanprover.github.io/