Comment by karpathy

first do a search, then on top you'll see "Filter". might try to make more prominent from main page