AI-assisted patches reportedly cut Linux kernel build times by nearly a third · Digg