赛博朋克中国，“鬼怪”都是程序，抓鬼道士是顶级程序员