Comment by Krei-se

Sadly there seems to be no point in arguing online though.

- You need to have a mental model to grow an idea

- When a pattern is known you can use a library!

- When a pattern is not known AI will make stuff up

No matter how "good" coding with an AI will become there is no way you get around learning, having someone understand what's going on and take responsibility.

I'm fine with formal checking and fuzzing or getting hints where a bug might come from - but these are iterations on tools we used before like a debugger, strict types, functional programming and well fuzzing.

I tried to have an AI iterate on a step i don't fully understand yet and i always regretted it. Highly interconnected projects will grind to a halt until you do learn.

You can check with people doing highly specced software in the medical domain that even with very good specs there is ambiguity in natural language thus it can never be the source of reliable and manageable software.

However - i read about some smart guys in the 40s or so encountering the need for a formal language to tell a computer what to do with 0 ambiguity and i think they called it a "programming language"