David Gries author of "ProgramLive"