AI’s potential to change how software is written and verified · Digg