2 ms·

I can absolutely write bugs. But I can be confident that there is a very well defined set of rules for what the compiler must emit given the characters that I w

I can absolutely write bugs. But I can be confident that there is a very well defined set of rules for what the compiler must emit given the characters that I wrote. That's not going to be the case for a LLM. You can perfectly express the problem you want it to solve and it just spits out garbage and this wouldn't be considered a bug in the system.

saiojd 4y ago
At this point yes. But the goal of "automatic programming" against a formal specification has a long history. It does not seem impossible to me that, in the future, programming becomes closer to prompting + formal specification. Then the prompt can be compiled and validated against the spec.