Bret Victor: Inventing on Principle Bret shows how programming would be with direct interaction with the result