4 ms·

> And this one is no longer true since LLMs: "Projects promoting programming in "natural language" are intrinsically doomed to fail." Not convinced that this i

> And this one is no longer true since LLMs: "Projects promoting programming in "natural language" are intrinsically doomed to fail." Not convinced that this is no longer true... yet

margalabargala 2y ago
Doesn't your addition of a "yet" imply the parent is correct? We don't need to have a working counterexample in existence for that "truth" to be wrong, we just need to see that such a project is not "intrinsically doomed to fail". Twenty years ago such projects were intrinsically doomed to fail. Today, they are on the cusp of not failing.
- skydhash 2y ago
  Kinda humoristic, but this reflect what I've seen when people heavily relies on LLM for programming: https://www.youtube.com/watch?v=vlXdUU5pd_0 https://www.youtube.com/watch?v=vlXdUU5pd_0 It's always vibe coding. It was just harder with Google and SO.
Xmd5a 2y ago
He was talking about controlled natural language; https://en.wikipedia.org/wiki/Controlled_natural_language https://en.wikipedia.org/wiki/Controlled_natural_language
- loco5niner 2y ago
  I wasn't aware of that thanks. I asked ChatGPT for an example(below): I don't see as being enough of a step forward to change my previous statement. >Before (Standard Technical English) >To avoid excessive engine wear, it is imperative that the operator ensures the >lubrication system is functioning properly prior to starting the engine. >Failure to do so may result in severe damage. >After (ASD-STE100 Simplified Technical English) >Before you start the engine, make sure that the lubrication system works >correctly. If the lubrication system does not work correctly, the engine can be >damaged.
  - Xmd5a 2y ago
    I was referring to this: >The second type of [controlled natural] languages have a formal syntax and formal semantics, and can be mapped to an existing formal language, such as first-order logic. Thus, those languages can be used as knowledge representation languages,[4] and writing of those languages is supported by fully automatic consistency and redundancy checks, query answering, etc. A good example is AppleScript. You will find more here: https://en.wikipedia.org/wiki/Natural-language_programming https://en.wikipedia.org/wiki/Natural-language_programming

> And this one is no longer true since LLMs: "Projects promoting programming in "natural language" are intrinsically doomed to fail." Not convinced that this is no longer true... yet

margalabargala 2y ago

Doesn't your addition of a "yet" imply the parent is correct? We don't need to have a working counterexample in existence for that "truth" to be wrong, we just need to see that such a project is not "intrinsically doomed to fail". Twenty years ago such projects were intrinsically doomed to fail. Today, they are on the cusp of not failing.

skydhash 2y ago
Kinda humoristic, but this reflect what I've seen when people heavily relies on LLM for programming: https://www.youtube.com/watch?v=vlXdUU5pd_0 https://www.youtube.com/watch?v=vlXdUU5pd_0 It's always vibe coding. It was just harder with Google and SO.

Xmd5a 2y ago

He was talking about controlled natural language; https://en.wikipedia.org/wiki/Controlled_natural_language https://en.wikipedia.org/wiki/Controlled_natural_language

loco5niner 2y ago
I wasn't aware of that thanks. I asked ChatGPT for an example(below): I don't see as being enough of a step forward to change my previous statement. >Before (Standard Technical English) >To avoid excessive engine wear, it is imperative that the operator ensures the >lubrication system is functioning properly prior to starting the engine. >Failure to do so may result in severe damage. >After (ASD-STE100 Simplified Technical English) >Before you start the engine, make sure that the lubrication system works >correctly. If the lubrication system does not work correctly, the engine can be >damaged.
- Xmd5a 2y ago
  I was referring to this: >The second type of [controlled natural] languages have a formal syntax and formal semantics, and can be mapped to an existing formal language, such as first-order logic. Thus, those languages can be used as knowledge representation languages,[4] and writing of those languages is supported by fully automatic consistency and redundancy checks, query answering, etc. A good example is AppleScript. You will find more here: https://en.wikipedia.org/wiki/Natural-language_programming https://en.wikipedia.org/wiki/Natural-language_programming