This page is now completely obsoleted by Coding a Transhuman AI 2, and has been taken down.