Tensor Logic and AI’s programming-language needs · Digg