DeepSeek R1 is far better than OpenAI o1 at finding bugs in pull requests | Heykuki News