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