Live data from Hacker News

PromptArray: A Prompting Language for Neural Text Generators

github.com

1–10 of 17 posts

Re: PromptArray: A Prompting Language for Neural Text Generators

#4
post #3

Dijkstra said that if we ever had the misfortune of having machines programmable in natural language, sooner or later someone would construct a formal language over it. Playing out in real time. We're living legendary times.

Love this idea, would like to read more. Got a source?

Re: PromptArray: A Prompting Language for Neural Text Generators

#5
post #4
post #3

Dijkstra said that if we ever had the misfortune of having machines programmable in natural language, sooner or later someone would construct a formal language over it. Playing out in real time. We're living legendary times.

Love this idea, would like to read more. Got a source?

[deleted]

Re: PromptArray: A Prompting Language for Neural Text Generators

#6
post #4
post #3

Dijkstra said that if we ever had the misfortune of having machines programmable in natural language, sooner or later someone would construct a formal language over it. Playing out in real time. We're living legendary times.

Love this idea, would like to read more. Got a source?

https://www.cs.utexas.edu/users/EWD/ewd06xx/EWD667.PDF

> From one gut feeling I derive much consolation: I suspect that machines to be programmed in our native tongues—be it Dutch, English, American, French, German, or Swahili—are as damned difficult to make as they would be to use.

Re: PromptArray: A Prompting Language for Neural Text Generators

#7
post #4
post #3

Dijkstra said that if we ever had the misfortune of having machines programmable in natural language, sooner or later someone would construct a formal language over it. Playing out in real time. We're living legendary times.

Love this idea, would like to read more. Got a source?

> It may be illuminating to try to imagine what would have happened if, right from the start our native tongue would have been the only vehicle for the input into and the output from our information processing equipment. My considered guess is that history would, in a sense, have repeated itself, and that computer science would consist mainly of the indeed black art how to bootstrap from there to a sufficiently well-defined formal system.

https://www.cs.utexas.edu/users/EWD/transcriptions/EWD06xx/E...

Re: PromptArray: A Prompting Language for Neural Text Generators

#8
This is interesting and it would be neat if it was used with GPTChat. On the other hand this should be benchmarked on multiple interactions with GPTChat or just people that understand how to write prompts in general. Having the computer do basically all possible inputs into the generator could possibly be programmed as a layer between the underlying Neural Text Generator.

Re: PromptArray: A Prompting Language for Neural Text Generators

#9
post #7
post #4

Earlier quoted context omitted.

Love this idea, would like to read more. Got a source?

> It may be illuminating to try to imagine what would have happened if, right from the start our native tongue would have been the only vehicle for the input into and the output from our information processing equipment. My considered guess is that history would, in a sense, have repeated itself, and that computer science would consist mainly of the indeed black art how to bootstrap from there to a sufficiently well-…

thank you!
Post reply on HN