You all realize pretty soon no human is going to update an existing code-base?
Who wants to spend their time understanding 10 year old legacy code? They’ll just feed it into an AI and tell it to add or fix a feature, then generate tests, and file a PR.
If it ends up having an airplane do a loop on take-off or sending your paycheck to Antarctica 🤷🏻♂️
I think what’s really going to happen is that programming will focus on writing contracts that AI agents have to fulfill. You’d specify the behavior you want, memory constraints, runtime complexity, etc. And then the agent has to figure out how to produce code that meets the specification.
I’m thinking something more along the lines of Haskell or Idris type definitions. You can use that to specify the function signature, and that becomes the contract that the function has to fulfill.
You all realize pretty soon no human is going to update an existing code-base?
Who wants to spend their time understanding 10 year old legacy code? They’ll just feed it into an AI and tell it to add or fix a feature, then generate tests, and file a PR.
If it ends up having an airplane do a loop on take-off or sending your paycheck to Antarctica 🤷🏻♂️
I think what’s really going to happen is that programming will focus on writing contracts that AI agents have to fulfill. You’d specify the behavior you want, memory constraints, runtime complexity, etc. And then the agent has to figure out how to produce code that meets the specification.
Isn’t this COBOL or 4GL or something?
I’m thinking something more along the lines of Haskell or Idris type definitions. You can use that to specify the function signature, and that becomes the contract that the function has to fulfill.