SpiderMonkey is introduced as a “system 1” for coding agents · Digg