Halv used 51% fewer tokens per correct answer on SWE-rebench | Hacker News Reader