Also, in meantime, there's https://SWE-rebench.com as a nice riff on SWE-bench, as far as I understand.