3 ms·probably codex was trained on lean code too.by riku_iki 4y agoprobably codex was trained on lean code too.