Tuesday, June 28, 2011

Wednesday, June 22, 2011

Paper: Verification of Quantum Programs

I'm of the opinion that formal verification of programs has a limited set of applications, in large part due to the "good enough" software principle. Nonetheless, it is nice to see work in the quantum programming area. Here's a just posted paper on arXiv: Verification of Quantum Programs by Ying, Yu, Feng, and Duan.

Monday, June 6, 2011

Cooling through computation

Erasing data generates heat. For example, an And gate can erase data because if you get a false (0) you don't know if the inputs were both false or if just one of them were 0. Hence quantum computers need to perform reversible operations. Here is some pretty cool work on cooling computers by the computations they perform.

Wednesday, June 1, 2011

D-Wave sells quantum computer to Lockheed Martin

For those who have not seen it yet, D-Wave has sold its first quantum computer to Lockheed Martin for 10 million. Here are a few of the many articles about it: