The GitHub Podcast explores new AI vocabulary for developers · Digg