Comment by polyglotfacto
6 days ago
> its value comes from fulfilling its requirements.
The requirements will have to come from somewhere, and they will have to be quite precise although probably higher-level than code written today. You're talking about just a new kind of software engineer. The kind of stuff described at https://martin.kleppmann.com/2025/12/08/ai-formal-verificati... (note the "the challenge will move to correctly defining the specification")
Unless what you have in mind is some sort of Moltbook add-on that the bots would write for themselves.
I'm talking software providing value to humans.
No comments yet
Contribute on Hacker News ↗