8岁的小学生教编程，11岁创办公司，13岁与IBM合作，00后创办程序员