top | item 45157223

Show HN: Semantic grep with local embeddings

179 points| Runonthespot | 5 months ago |github.com

78 comments

order

MarkMarine|5 months ago

I saw this comment a little bit back and I don’t think the OP expanded on it, but this looks like a fantastic idea to me:

sam0x17 20 days ago:

Didn't want to bury the lead, but I've done a bunch of work with this myself. It goes fine as long as you give it both the textual representation and the ability to walk along the AST. You give it the raw source code, and then also give it the ability to ask a language server to move a cursor that walks along the AST, and then every time it makes a change you update the cursor location accordingly. You basically have a cursor in the text and a cursor in the AST and you keep them in sync so the LLM can't mess it up. If I ever have time I'll release something but right now just experimenting locally with it for my rust stuff On the topic of LLMs understanding ASTs, they are also quite good at this. I've done a bunch of applications where you tell an LLM a novel grammar it's never seen before _in the system prompt_ and that plus a few translation examples is usually all it takes for it to learn fairly complex grammars. Combine that with a feedback loop between the LLM and a compiler for the grammar where you don't let it produce invalid sentences and when it does you just feed it back the compiler error, and you get a pretty robust system that can translate user input into valid sentences in an arbitrary grammar.

https://news.ycombinator.com/item?id=44941999

rictic|5 months ago

One thing to take care with in cases like this, it probably needs to handle code with syntax errors. It's not uncommon for developers to work with code that doesn't parse (e.g. while you're typing, to resolve merge conflicts, etc).

In general, a drum I beat regularly is that during development the code spends most of its time incorrect in one way or another. Syntax errors, doesn't type check, missing function implementations, still working out the types and their relationships, etc. Any developer tooling that only works on valid code immediately loses a lot of its value.

dorian-graph|5 months ago

There's also https://github.com/bartolli/codanna, that's similarly new. I'll have to try that again, and this one.

CuriouslyC|5 months ago

I've benchmarked the code search MCPs extensively and agents with LSP-aware mcps outperform agents using raw indexed stores quite handily. Serena, as janky as it is, is a better enabler than Codanna.

athrowaway3z|5 months ago

> thread 'main' (17953) panicked at ck-cli/src/main.rs:305:41: byte index 100 is not a char boundary

I seem to have gotten 'lucky' and it split an emoji just right.

---

For anyone curious: this is great for large, disjointed, and/or poorly documented code bases. If you kept yours tight and files smaller than ~600 lines, it is almost always better to nudge llm's into reading whole files.

Runonthespot|5 months ago

Nice catch- should be fixed in latest

ozten|5 months ago

This generalizes to a whole new category of tools: UX which requires more thought and skill, but is way more powerful. Human devs are mostly too lazy to use, but LLMs will put in the work to use them.

abeyer|5 months ago

> UX which requires more thought and skill, but is way more powerful. Human devs are mostly too lazy to use

Really? My thinking is more that human devs are way too likely to sink time into powerful but complex tools that may end up being a yak shave with minimal/no benefit in the end. "too lazy to use" doesn't seem like a common problem from what I've seen.

Not that the speed of an agent being able to experiment with this kind of thing isn't a benefit... but not how I would have thought to pose it.

rane|5 months ago

Cool. Some AI fluff can be detected in the README.

For example under the "Why CK?" section, "For teams" is of no substance compared to "For developers"

CuriouslyC|5 months ago

I actually have a WIP library for this, the indexing server isn't where I want it just yet, but I have an entire agent toolkit that does this stuff, and the indexing server is quite advance, with self-tuning, raptor/lsp integration, solves for optimal result set using knapsack, etc.

https://github.com/sibyllinesoft/grimoire

threecheese|5 months ago

I have to know, what is the Lens SPI? The link in your readme is broken, and Kagi results for this cannot possibly be right.

rane|5 months ago

I tried in my relatively small project.

    ~/c/l/web % ck --sem 'error handling'
    ℹ Semantic search: top 10 results, threshold ≥0.6
    ⠹ Searching with semantic mode...
All I got was spinning M2 Mac fan after a minute, and gave up.

Runonthespot|5 months ago

interesting - can I ask you to try a ck --index . ?

0x696C6961|5 months ago

This is cool, but I don't understand why it tries to re-implement (a subset of) grep. Not only that, but the grep-like behaviour is the default and I need to opt-in to the semantic search using the --sem flag. If I want grep I can use grep/ripgrep.

Runonthespot|5 months ago

Fair comment- the initial thinking was to have both and in fact a hybrid mode too which fuses results so you can get chunks that match both semantically and on keyword search in one resultset. Later could add a reranker too.

CuriouslyC|5 months ago

The reason to overload grep is that the agents already understand most of the semantics and are primed to use it, so it's a small lift to get them to call a modified grep with some minor additional semantics.

nwienert|5 months ago

The biggest improvement to CC would be it using the TypeScript LSP to immediately get type feedback and inspect types.

I added the VSCode plugin but it didn’t seem to help, likewise searching around yesterday I didn’t see anything surprisingly.

skybrian|5 months ago

This looks very useful.

Looks like you have to build an index. When should it be rebuilt? Any support for automatic rebuilds?

Runonthespot|5 months ago

Yes- files are hashed and checked whenever you search so index should always remain up to date. Only changed files are reindexed. You can also inspect the metadata (chunking semantics, embeddings). It’s all in the .ck sidecar

jarek83|5 months ago

Man, that's a great thing! Really waiting to see Ruby and Elixir. Fingers crossed for you!

Runonthespot|5 months ago

Added Ruby, but Elixir not very well supported by tree sitter

abyesilyurt|5 months ago

What model are you using to create the embeddings?

Runonthespot|5 months ago

BAAI/bge-small-en-v1.5 but considering switching this to google's latest gemmaembedding - it's fairly switchable.

dprophecyguy|5 months ago

this is so cool, is there any other tool which is more mature?

commandar|5 months ago

Roo has codebase indexing that it'll instruct the agent to use if enabled.

It uses whatever arbitrary embedding model you want to point it at and backs it with a qdrant vector db. Roo's documents point you toward free cloud services for this, but I found those to be dreadfully slow.

Fortunately, it takes about 20 minutes to spin up a qdrant docker container and install ollama locally. I've found the nomic text embed model is fast enough for the task even running on CPU. You'll have an initial spin up as it embeds existing codebase data then it's basically real-time as changes are made.

FWIW, I've found that the indexing is worth the effort to set up. The models are generally better about finding what they need without completely blowing up their context windows when it's available.

Runonthespot|5 months ago

help make it mature :D Add any issues

Alifatisk|5 months ago

At this point, we aren't even saying it's written in Rust anymore, we just mention it in the title whenever possible.

I did look into the core features and I gotta say, that looked quite cool. It's like Google search, but for the codebase. What does it take to support other languages?

Runonthespot|5 months ago

It supports most languages but needs a bit of tree-sitter setup to do semantic chunking. Let me know what languages you’d like added

dang|5 months ago

[stub for offtopicness]

dmd|5 months ago

What does this have to do with Claude Code?

ayhanfuat|5 months ago

Isn't Claude Code's selling point that it doesn't use embeddings?

AmazingTurtle|5 months ago

Why does it need to say RUST in the headline as if this was a feature, lol

mellosouls|5 months ago

This looks interesting and I look forward to trying it but the title here should really just use the description of the repo, or that be adjusted.

Apart from anything else it appears to be very misleading as Rust (ironically) according to the documentation is not one of the languages supported.