4 ms·
Sythesising an entire application is not going to happen even if you managed to lock down its behaviour with unit tests because the time it takes to search for
by jules 8y ago
Sythesising an entire application is not going to happen even if you managed to lock down its behaviour with unit tests because the time it takes to search for a program of size n is exponential.
What could work is synthesis as a more intelligent form of code completion for small snippets.
- beaconstudios 8y agoThe same exponential search space problem applies to chess, and we still managed to achieve high quality results by using heuristic algorithms and ML/statistics to augment the tree search.