r/MachineLearning - "[D]" John Carmack stepping down as Oculus CTO to work on artificial general intelligence (AGI)