STICS: search with strings, things, and catsstics.mpi-inf.mpg.de1 point·jrbn··0 commentsOpen articleSaveView on HN