|
|
|
|
|
by polyglotfacto
121 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. |
|