AxiomGPT: Programming with LLMs by defining Oracles in natural language | Dark Hacker News