Types for AI agents and concerns about AI telling people what they want to hear · Digg