I don't know if there are spectacular examples yet. I know that people like Dennis Gaitsgory are very much interested in applications of DAG to geometric Langlands (
this might be a start). I know very little about geometric Langlands, so I cannot say how powerful the method has shown itself to be