Astral founder Charlie Marsh used OpenAI's Codex to find a Ruff formatter optimization yielding a 6.4% speedup · Digg