Compile by Training Turns Specs into Neural Programs · Digg