Curtis Yarvin, Division of Computer Science, University of California, Berkeley