Code Search Is Hard

Re:Code Search Is Hard by pomdtr on Wednesday April 10, 2024 @07:18PM (#39996684)

Hey! I'm a val.town fanboy and I immediately thought about a workaround while reading the blog post:

What if I dumped every publics vals in Github, in order to be able to user their (awesome) search ?

So here is my own "Val Town Search": https://val-town-search.pomdtr.me

And here is the repo containing all vals, updated hourly thanks to a github action: https://github.com/pomdtr/val-town-mirror

[ Parent | on HN ]

Re:Code Search Is Hard by simonw on Wednesday April 10, 2024 @07:22PM (#39996714)

Well this is fun...

    git clone https://github.com/pomdtr/val-town-mirror
    cd val-town-mirror
    rg news.ycombinator.com

Now I can ripgrep search public Vals, e.g. to see who's hitting Hacker News from a Val.

[ Parent | on HN ]

Re:Code Search Is Hard by pomdtr on Wednesday April 10, 2024 @07:27PM (#39996746)

Yeah, and you can finally run/debug vals locally (kind of, the version query param is not yet supported)

[ Parent | on HN ]

Re:Code Search Is Hard by MatthiasPortzel on Wednesday April 10, 2024 @07:37PM (#39996824)

That is, uh, one solution, to say the least.

There’s a HN comment I’ll never forget where the commenter suggests that Discord move their search infrastructure to a series of text file searched with ripgrep, but Val.town’s scale is small enough that they could actually consider it.

[ Parent | on HN ]

Re:Code Search Is Hard by nbbaier on Wednesday April 10, 2024 @10:03PM (#39997708)

This is great!

[ Parent | on HN ]

Re:Code Search Is Hard by pomdtr on Friday April 12, 2024 @09:16AM (#40012351)

I ended up writing my own article: https://code-search-is-easy.pomdtr.me/

[ Parent | on HN ]