However, rather than have part of the proof done by hand, and part by computer, he has automated the entire proof, and done so in such a manner that it is a formal proof.

ECONOMIST: Just what does it mean to prove something?

Also, if a thief breaks into your place and steals your computer AND the disaster-proof drive, your data is gone.

FORBES: Protect Your Data From Fire And Floods

The proof-of-concept computer won't give silicon circuits any threat when it's running at just 0.15Hz and takes up as much space as a mini fridge, but the hope is to dramatically speed up and shrink down future iterations to where there are advanced computers that occupy the same size as real muscles.

ENGADGET: Turing machine built from artificial muscles may lead to smart prosthetics

They found classified documents on her computer, though they decided there was no proof she had received them from Mr. Petraeus.

WSJ: Obama Holds Up Top General John Allen's Nomination for NATO Post

That was proof, he told me, that my computer was sending out the error message that his company had received - and which had led him to call in the first place.

BBC: A phone call for Mr Sellan

It was the first mass-market idiot-proof touch-to-get operating system that provided a computer experience to people without the experience or the inclination to use one.

FORBES: The Apple iPhone at Age 6: My, How Things Have Changed

Although Yurke's tweezers are just a proof-of-principle, similar molecular motors might be used to assemble very tiny computer chips.

FORBES: DNA May Make Computers, Not Run Them

Officials there concluded that the FBI did not have sufficient proof that Lee posed a national-security threat grave enough to merit a raid on his computer.

CNN: Is it time to panic?

We were also shown a Tegra single-board computer measuring no larger than a single small-outline DIMM like you'd find in a modern laptop, proof that this action can be scaled way down depending on the kinds of devices manufacturers are looking to make.

ENGADGET: NVIDIA's Franken-Mini is half HP, half Tegra, no Intel