https://futureofcoding.org/ logo
Title
k

Konrad Hinsen

04/03/2023, 9:29 AM
There are two technologies that I'd expect to be useful in the context of LLMs: 1. Controlled natural langues (see https://sites.google.com/site/controllednaturallanguage/ for a list), which are subsets of natural languages that can be assigned formal semantics. 2. Concatenative programming languages (https://concatenative.org/wiki/view/Concatenative%20language), which are formal language whose syntax shares the linear structure of natural languages that is the basis of LLMs. Has anyone seen such connections pointed out or explored yet?
j

Jason Morris

04/03/2023, 2:21 PM
I'm looking at a text version of my own tool, isomorphic with the visual language, to make it possible to get LLM to do Codex-style code suggestions. Haven't actually done it, yet, and haven't seen anyone doing it, but I'm thinking precisely the same thing.