ARG-AGI-2 leaderboard has a strong correlation with my Rust/CUDA coding experience with the models.