Hacker News·6h AlphaProof Code Introducing CodeMender: an AI agent for code security October 2025Responsibility & Safety Learn more Development