Is AI coming for your coding job? Intervew with Martin Vechev, read it here.