51–60 of 75 posts
similar to this? https://www.askmarvin.ai/welcome/quickstart/#ai-functions
Earlier quoted context omitted.
How would not having the source code be present/pre-generated, and thus needing to generate it at runtime, be an example of a decorator having no runtime effects?
OP has to be doing some parsing somewhere, so you just switch to seeking decorators rather than magic comments. It's still before the code reaches the interpreter. The potential issue I see here is that comments are valid anywhere while decorators may not be, but the parser is hopefully resilient to that. You could see a multi-phase LLM that uses the interpreter to ensure the code runs / works as expected
> What prevents my program from behaving differently after each preprocessing run? >The strength of your faith in GPT-4. I got a chuckle out of that
Isn't this how copilot 'just' works, except with comments? What's the advantage over copilot?
Earlier quoted context omitted.
Maybe I misunderstand, but my understanding is that (at least some languages) can be given proofs of correctness for some pre and post conditions. See e.g., https://arxiv.org/pdf/2303.05491.pdf Conceptually, you tell the computer how to validate that the conditions you state are correct with your proof, and it checks that each step follows.
To me, it seems like there will be a finite set of pre and post conditions ever needed for 99% of future programming, and eventually everything will be a catalog of the conditions to working code. One just needs a language to write those conditions in.
One the one hand you have declarative languages, and on the other imperative languages.
Not sure where I'm going with this, but I think there's something there.