3 ms·
Code is not a spec. It's an instruction set. It can be a spec if you try hard but that's not an inherent property of code. For example you can write code to be
by hparadiz 5mo ago
Code is not a spec. It's an instruction set. It can be a spec if you try hard but that's not an inherent property of code. For example you can write code to be a compiler..that makes it a spec. But hello world is not a spec.
As for whether or not LLMs can write unit tests. The answer is yes.
- recursive 5mo agoHello world is a spec. The spec says to produce the text hello world on standard output.
- hparadiz 5mo agoTry running it without a compatible ABI. See how far you get.
- recursive 5mo agoNot sure what the point is. We can update the spec with "in the presence of a compatible ABI".
- hparadiz 5mo agoAll I'm saying is a program isn't VHS. It's a VHS tape. At that point it's largely philosophy. Can you reconstruct a VHS format from a VHS tape? Sure.
- recursive 5mo agoFor non trivial uses it wouldn't be a great spec. But I think we can bring our worlds together with a bit of boilerplate. > The system shall have behavior identical to that expressed by the system created by the following source code. [add some stuff about environment to taste]