Rust gets a faster sort implementation
Hi everyone, this is my first PR.
I’ve made some changes to the standard sort algorithm, starting out with a few tweaks here and there, but in the end this endeavour became a complete rewrite of it…
I recently wrote about some work I’ve done to speed up the Rust compiler. Since then I’ve done some more.Read more »
After working at Data61 with the verification team, and many conversations with Gerwin Klein, I have a good plan on how I think I want to achieve the goal of Trustworthy Rust.Read more »