3 ms·
Not the OP but for me it’s: more optimized than any human could ever hope to write, along with a lean proof of its correctness.
by AndrewKemendo 5mo ago
Not the OP but for me it’s:
more optimized than any human could ever hope to write, along with a lean proof of its correctness.