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