Natural Languages, Formal Languages, and AI Testing | Dark Hacker News