Artemy Kolchinsky comments on Deep learning as program synthesis