Thanks for posting. (1) I strongly agree that the problems of rigorous computational mathematics are far, far deeper than anything I even begin to hint at in my talk. It's daunting. (2) I think http://www.numfocus.org/ -- a new org I think Travis Oliphant co-founded -- may be an attempt to solve some of the accounting organization issues. What do you think of what they are doing? Maybe the best thing is to work with them.