davidad comments on Deep learning as program synthesis