Astra and evals: Senior SWE-Bench, napkin math, and Spirit

Maybe they can come up with an algorithm that combines all your individual scores into something that isn't broken in some special circumstances. That's why I think many just start capping the results.