What is the meaning of the word "deride"?

Definitions:

  1. treat or speak of with contempt copy to clipboard verb
    • The teacher derided the student's attempt to solve the biggest problem in mathematics as premature. copy to clipboard