1. 16

  2. 18

    Eventually you remove sufficient ambiguity from a natural language interface that you can use it in situations where correctness is important. At this point, you have invented a programming language.

    1. 2

      I wish. Lojban is a powerful counterexample; the community still resists formal semantics to this day. It’s not enough to wish for logical behaviors; we have to deliberately craft formal systems with logic in mind.

      1. 1

        I almost forgot about Lojban :) As a side note, I asked ChatGPT to translate a sentence to Lojban, it seems to work, but unsure about the quality of the translation.

    2. 3

      After ChatGPT is sufficiently discussed online, and the next iteration contains these discussions, you will also be able to do a few prompts in succession like:

      1. Write a prompt to ...
      2. <prompt from step 1>