You can search the username and their history will come up though.

History hidden from one’s Reddit profile is now hidden from author: Reddit searches as well. This was not originally the case.