Channels
administrivia
announcements
bot-dark-forest
devlog-together
in-alberta
in-boston
in-germany
in-israel
in-london
in-nyc
in-ontario
in-seattle
in-sf
in-socal
introduce-yourself
linking-together
of-ai
of-end-user-programming
of-functional-programming
of-graphics
of-logic-programming
of-music
present-company
random-encounters
reading-together
share-your-work
thinking-together
two-minute-week
wormholes
Title
k
Konrad Hinsen
04/03/2023, 9:29 AMThere 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 PMI'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.