Monthly Archives

August 2015

All

Google is Now Part of a New Company Alphabet

Google is Now Part of a New Company Alphabet SPR: Google has decided to restructure itself under a new company called Alphabet Inc. and Google co-founders Larry Page and Sergey Brin will be Alphabet’s CEO and president…

Read more
All

Superhumans Exist And Their DNA Is Worth Billions

Superhumans Exist And Their DNA Is Worth Billions SPR: Pharma companies are studying the mutations of real superhumans that include pain insensitivity and super dense bones, to create wonder drugs for the general public. The DNA…

Read more
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