3 ms·

Where is the generated compiler and the semantic and syntactic specification for it? Those chatbot-comments feel more like a discussion of a fictional programm

Where is the generated compiler and the semantic and syntactic specification for it? Those chatbot-comments feel more like a discussion of a fictional programming language, not a language it actually "created". What does it mean to create a programming language? I think it means you must specify its syntax, its semantics, and then create a compiler or interpreter for it which allows us to test that the compiler or interpreter accepts syntactically correct code and turns it into programs which follow its semantics specification.

zarzavat 4y ago
Writing a compiler or a detailed specification is the “easy” part - it’s just raw slog. The hard part of making a programming language is coming up with novel ideas that fit together into coherent whole: inventing something new and useful.
- galaxyLogic 4y ago
  > hard part of making a programming language is coming up with novel ideas that fit together into coherent whole I don't think anybody's claiming that this chatbot actually came up with novel ideas which fit together into a coherent whole. Are they? And we don't know if the novel ideas --if any-- fit together into a coherent whole until we have a compiler that allows us to test in practice how well those ideas fit together. If creating the compiler for such a new language with new ideas was the easy part I think somebody would have done that already. The AI would have done that if it was the easy part. Just ask it to do it. I say proof is in the pudding.
krupan 4y ago
This!! All the gushing over these GPTs doing what looks to me like, a bad job of talking smart without actually doing anything, make me feel like I'm going insane, or I'm the only sane person left.
- galaxyLogic 4y ago
  I feel the same way. I wonder what makes people so easily believe the hype, and spread more hype along the way. What happened to Metaverse? Web3? BlockChain? Just like yesterday I get on my knees and pray, we won't get fooled again -The Who

zarzavat 4y ago

Writing a compiler or a detailed specification is the “easy” part - it’s just raw slog. The hard part of making a programming language is coming up with novel ideas that fit together into coherent whole: inventing something new and useful.

galaxyLogic 4y ago
> hard part of making a programming language is coming up with novel ideas that fit together into coherent whole I don't think anybody's claiming that this chatbot actually came up with novel ideas which fit together into a coherent whole. Are they? And we don't know if the novel ideas --if any-- fit together into a coherent whole until we have a compiler that allows us to test in practice how well those ideas fit together. If creating the compiler for such a new language with new ideas was the easy part I think somebody would have done that already. The AI would have done that if it was the easy part. Just ask it to do it. I say proof is in the pudding.

krupan 4y ago

This!! All the gushing over these GPTs doing what looks to me like, a bad job of talking smart without actually doing anything, make me feel like I'm going insane, or I'm the only sane person left.

galaxyLogic 4y ago
I feel the same way. I wonder what makes people so easily believe the hype, and spread more hype along the way. What happened to Metaverse? Web3? BlockChain? Just like yesterday I get on my knees and pray, we won't get fooled again -The Who