What technical prereqs would I need in order to understand Stuart Armstrong's research agenda? — LessWrong