> C compiler is one of the most rigorously specified pieces of software out there
reply/me Laughs in "unspecified behavior."
There's undefined behavior, which is quite well specified. What do you mean by unspecified behavior? Do you have an example?
replyUndefined is absolutely clear in the spec.
replyUnspecified is whatever you want it to mean. I am also laughing, having never heard "unspecified" before.
Unspecified behaviour is defined in the glossary at the start of the spec and the term "unspecified" appears over a hundred times...
replyYes I think any codegen with a lot of tests and verification is more about “fitting” to the tests. Like fitting an ML model. It’s model training, not coding.
replyBut a lot of programming we discover correctness as we go, one reason humans don’t completely exit the loop. We need to see and build tests as we go, giving them particular care and attention to ensure they test what matters.
The agent can obviously do that
reply