The difference between automation and AI, Trump’s record on judges, and Britain finally leaves the EU.