campbellC·4 years ago·discussThe EU and the U.K. are very different kinds of union. The EU can not require you to host nuclear weapons against your will for example which is a key issue in Scottish independence.
campbellC·6 years ago·discussMy main aim is to get to grips with Reinforcement Learning. I'm using* 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/