http://golem.ph.utexas.edu/category/2007/02/category_theoretic_probability.html

among many other interesting things:

"Bayesianism, seen as an extension of logic, naturally interpolates from the statistical setting all the way through to pure software engineering/computer programming. "

“I was unable to find flaws in my ‘proof’ for quite a while, even though the error is very obvious. It was a psychological problem, a blindness, an excitement, an inhibition of reasoning by an underlying fear of being wrong. Techniques leading to the abandonment of such inhibitions should be cultivated by every honest mathematician.”

http://www.nytimes.com/2009/01/19/us/19stallings.html?_r=1&emc=eta1