| ▲ | ndriscoll an hour ago | |
The LLM still benefits from a concise type-checked language to write software in, in the exact way a human does. | ||
| ▲ | pjmlp an hour ago | parent [-] | |
That would be formal rules, Lean style, and not related to 3 GL languages. | ||
| ▲ | ndriscoll an hour ago | |
The LLM still benefits from a concise type-checked language to write software in, in the exact way a human does. | ||
| ▲ | pjmlp an hour ago | parent [-] | |
That would be formal rules, Lean style, and not related to 3 GL languages. | ||