Brewster Kahle, Internet Archive, here. Have not focussed on this before I read the Paumgarten piece on the Dead in the New Yorker, here.  39 Steps and Plan 9 from Outer Space in the video collection, not horrible.

Aaronson, Shtetl-Optimized,Proving Without Explaining, and Verifying Without Understanding, here. So wait a minute, Aaronson is the TIBCO Career Development Prof of EE and CS. When did that happen? So who is gonna be the iOS6 Mapping Application Prof of EE and CS? The guy in the HP Mergers & Acquisitions Chair has to be thinking about plan B pretty soon. Anyway, I have never seen a talk by Solomon Feferman and there is a link through iTunes to talks by Aaronson and Feferman.

Last Friday, I was at a “Symposium on the Nature of Proof” at UPenn, to give a popular talk about theoretical computer scientists’ expansions of the notion of mathematical proof (to encompass things like probabilistic, interactive, zero-knowledge, and quantum proofs).  This really is some of the easiest, best, and most fun material in all of CS theory to popularize.  Here are iTunes videos of my talk and the three others in the symposium: I’m video #2, logician Solomon Feferman is #3, attorney David Rudovsky is #4, and mathematician Dennis DeTurck is #5.  Also, here are my PowerPoint slides.  Thanks very much to Scott Weinstein at Penn for organizing the symposium.

Felix Salmon, Reuters, Online course of the day, investing department, here. Everything comes at a price department?

Would you like to take a free online university course which teaches you the basics of quantitative analysis and also helps you manage your money so that you get high returns with low risk? Of course you would. Let me introduce you to Computational Investing, Part I, taught by Tucker Balch, Ph.D., on the Coursera website.

Kevin Peachey, BBC News, How technology opens the door for personalised pricing, here. So these folks have Rupert Murdoch owning their major newspapers and possibly tapping their phones and now they want to get a deeper understanding the control they have over the automated shopping profile tagged to them? I don’t think that you need to consult the works of Aaronson and Feferman to answer this, Clive.

“It is important we understand what control shoppers have over their profile and whether firms are using shoppers’ profiles to charge different prices for goods or services,” says Clive Maxwell, chief executive of the OFT.

About these ads