The Agentic Mullet: code in the front, proofs in the back | Dark Hacker News