DeepSeek R1 is far better than OpenAI o1 at finding bugs in pull requestsgreptile.com43 pointsdakshguptaa year ago