Daily Archives

August 6, 2015

All

Intel Skylake 14nm Core i7 Core i5 DDR4 DDR3L

It’s the Intel review you’ve been waiting for. Today is the launch of the first two CPUs from Intel’s Skylake architecture, the 6th Generation Core i7-6700K and the Core i5-6600K. With the new processors we get…

Read more
All

Automated reasoning in F#, Scala, Haskell, C++, and Julia

We need to simplify the following expression: e=(1+0×x)×3+12. Luckily for us, we won’t have to remember any elementary school arithmetic, because Harris’s excellent Handbook of Practical Logic and Automated Reasoning begins with a simple algorithm to do exactly that. It’s not…

Read more