This is interesting and I always like how there are some of us who actually get some ideas from the HN thread and end up building it. Kudos.

A problem that I am interested in is porting large pieces of software from one language to another perhaps with the heavy weight lifting done by LLMs. Do you feel like it can be of use within it and how could I use it within solving this problem, I'd be curious to know.

Thanks! Two thoughts:

- if this port is happening on a single machine, you are better off with work trees. You can reuse worktrees if creating a new one is expensive. https://github.com/satococoa/git-worktreeinclude can help you initing work trees smooth

- If you want the system scale on the cloud with many many VMs doing work on the repo and repo is large enough that lazy-mount gives you meaningful perf benefits, yes definitely. It can be useful. Note that if the repo is private, you will need to configure sgrep's code search backend to be reachable from the microVMs