3 ms·

Code is written to be auditable by humans, if you just generate machine code how will you know the level of correctness? Would you save the prompts then I have

Code is written to be auditable by humans, if you just generate machine code how will you know the level of correctness? Would you save the prompts then I have to prompt review before merge? That would end up being much wordier than a code file.

tasuki 2y ago
Humans write the tests. AI writes the implementation. Just write good tests: property based. Or actual formal specification...
- episteme 2y ago
  It's much quicker to write code than a formal spec for that code.
  - rootnod3 2y ago
    Yes. Because at the end, the code should be the spec or the final source of truth for it.
    - tasuki 2y ago
      I disagree. The spec should be the spec. The code is just an implementation detail.
      - righthand 2y ago
        The style of the code is an implementation detail, once implemented it enters the realm of spec.
  - batshit_beaver 2y ago
    This right here is why I have serious doubts about the ultimate usefulness of LLMs in coding. Code is the spec, and it's far faster to write the code yourself (if you know what you want to do and how to write code) than try to pass all this context to an LLM in the form of lossy and imprecise human language.
  - tasuki 2y ago
    Yes, especially so if you do not much care whether it's correct.