Tuesday, June 28, 2011
The Financial Times has named quantum computing one of the 10 hottest fields in science in a recent article.
Wednesday, June 22, 2011
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.
Sunday, June 19, 2011
By Pascal Heus out of George Mason University: QIS-XML: An Extensible Markup Language for Quantum Information Science.
Monday, June 6, 2011
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
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: