Remix.run Logo
▲ pjmlp an hour ago

The LLM itself is the metaprogramming, eventually we will be getting executables directly, the dream of previous AI Summers might finally materialise, with all the implications for the victims of software factories automation.

▲ndriscoll an hour ago | parent [-]

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.