c-cube
Joined 9 years ago
Karma
1,379
Submissions
407
Member since
Apr 6
Joined 9 years ago
[1]: https://lite3.io/design_and_limitations.html#autotoc_md31 [2]: https://github.com/couchbase/fleece/
If anything, the best use for LLMs is to produce code in very strong languages like Lean, where correctness of the code can be established. Just trusting machine code output would be irresponsible.