News for hackers. Stuff that matters.
Re:Why Is Google Building a New Operating System from Scratch? by fooker on Saturday August 19, 2017 @12:32PM (#15054236)
Here are some fairly realistic examples.

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

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.