AI agents did better with distilled skills than detailed memory, a user reports · Digg