QR Factorization Leaderboard Launches with Stricter Mixed-Precision Tests · Digg