Natural Languages, Formal Languages, and AI Testing / hacker news