News for hackers. Stuff that matters.

montalte

montalte on Hacker News

Re:Copper – A minimal low-level programming language with OOP and gene... on Monday November 02, 2026 @12:12PM (#50340022)
Why not have an AI agent super-optimize with a Lean proof of equivalence to your baseline as the "specification"?