The PR was merged. The latest preliminary results show a 10x improvement!
There are still a couple days left for PRs for round 20 if anyone has more ideas for improvements.
The PR was merged. The latest preliminary results show a 10x improvement!
There are still a couple days left for PRs for round 20 if anyone has more ideas for improvements.