4 ms·
Do you have any repos or examples you can share? Would love to see an example of that in action!
by szvsw 2y ago
Do you have any repos or examples you can share? Would love to see an example of that in action!
- rramadass 2y agoI am not the person you asked the question of; Earlier an HN user had given an example of using Prolog as an intermediate DSL in the prompt to an LLM so as to transform English declarative -> Imperative code - https://news.ycombinator.com/item?id=41549823 https://news.ycombinator.com/item?id=41549823
- szvsw 2y agoYep, this makes a lot of sense. In general, we already have plenty of mechanisms for specifying interfaces/api specs, tests, relationships, etc in a declarative but more formal manner than natural language which probably all work , and I can only imagine we will continue to see the development of more options tailored to this use case.