Book Review of Steve Krug's "Rocket Surgery Made Easy"
Susan Weinschenk posted a video review of Steve Krug's latest book on YouTube. If you're looking to learn more about how to conduct a usability test, Steve's books are a great place to start.
"Will it ever be possible to buy software guaranteed to be free from bugs? A team of European researchers think so."
"The key lies in an esoteric reformulation of mathematics called ‘type theory’ based on the notion of computation. In this approach, the specification for a computational task is stated as a mathematical theorem. The program that performs the computation is equivalent to the proof of the theorem. By proving the theorem the program is guaranteed to be correct."