Re:Why Is Google Building a New Operating System from Scratch?
by steveklabnik on Saturday August 19, 2017 @02:03PM
(#15054703)
Yeah, we've had some small regressions recently; a few months ago we were usually faster, now we're slightly slower. Still generally close, except for the ones that need explicit SIMD, as that's still being designed.
1. Rust : http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan...
2. Swift : http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan...
As for a SAT solver, I was not speaking out of my ass. Here is one try that got a fair bit of attention. https://github.com/mishun/minisat-rust