News for hackers. Stuff that matters.

A comment on Program Synthesis in 2017-18. Parent comment

Re:Program Synthesis in 2017-18 by jules on Wednesday July 25, 2018 @08:45AM (#17608802)
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.

[ Parent | on HN ]
Re:Program Synthesis in 2017-18 by beaconstudios on Wednesday July 25, 2018 @11:46AM (#17610141)
The 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.
[ Parent | on HN ]