A singalong joke about solving AI alignment · Digg