3 ms·

Here are some fairly realistic examples. 1. Rust : http://benchmarksgame.alioth.debian.org/u64q/compare.php?lang=rust&lang2=gcc http://benchmarksgame.alioth.d

by fooker 9y ago

Here are some fairly realistic examples. 1. Rust : http://benchmarksgame.alioth.debian.org/u64q/compare.php?lang=rust&lang2=gcc http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan... 2. Swift : http://benchmarksgame.alioth.debian.org/u64q/compare.php?lang=swift&lang2=gcc 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 https://github.com/mishun/minisat-rust

steveklabnik 9y ago
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.