AI: Communicating with Codex in a Formal Language | Dark Hacker News