METR's AI Coding RCT / hacker news