Toward a philosophy of computation                          
Listening to our students