Toward a popular theory of algorithms