zeekay and Hanzo Dev
234c2d8cf1
Prefer tgrep where the tree carries an index
...
Trigram index prunes files a query cannot match: 23ms against ripgrep's 78ms
for an absent symbol, which is most of what a search asks. It loses where many
files match (128ms against 78ms), and with no index it scans everything and is
slower than plain grep — so the index is the condition, not the binary.
Co-authored-by: Hanzo Dev <[email protected] >
2026-09-10 17:24:51 -07:00
..
2026-09-05 18:15:02 -07:00
2026-03-01 16:01:16 -08:00
2026-08-21 16:21:43 +00:00
2026-08-21 16:21:42 +00:00
2026-03-09 21:11:54 -07:00
2026-08-01 13:35:20 -07:00
2026-03-01 16:01:16 -08:00
2026-08-04 01:27:29 -07:00
2026-08-08 15:04:19 -07:00
2026-03-25 04:02:13 -07:00
2026-04-01 10:41:46 -07:00
2026-08-24 03:42:08 -07:00
2026-08-05 08:12:55 -07:00
2026-04-01 10:41:46 -07:00
2026-08-30 20:08:02 -07:00
2026-08-23 12:34:47 -07:00
2026-08-14 16:55:05 -07:00
2026-08-01 13:35:20 -07:00
2026-08-14 17:42:58 -07:00
2026-06-24 13:50:24 -07:00
2026-08-09 19:36:57 -07:00
2026-09-01 07:58:30 -07:00
2026-09-03 23:39:20 -07:00
2026-05-13 14:23:35 -07:00
2026-09-03 16:15:51 -07:00
2026-07-27 18:55:24 -07:00
2026-08-30 20:08:02 -07:00
2026-08-27 08:45:44 -07:00
2026-07-19 20:02:48 -07:00
2026-08-30 20:08:02 -07:00
2026-08-27 08:45:44 -07:00
2026-06-26 11:57:48 -07:00
2026-07-03 00:45:49 -07:00
2026-03-01 16:01:16 -08:00
2026-03-01 16:01:16 -08:00
2026-07-03 00:45:49 -07:00
2026-08-04 01:27:29 -07:00
2026-08-30 20:08:02 -07:00
2026-03-01 16:01:16 -08:00
2026-08-30 20:08:02 -07:00
2026-03-01 16:01:16 -08:00
2026-08-30 20:08:02 -07:00
2026-06-26 11:57:48 -07:00
2026-08-08 15:04:19 -07:00
2026-06-26 11:57:48 -07:00
2026-03-12 01:12:30 -07:00
2026-03-04 12:15:14 -08:00
2026-08-28 15:53:34 -07:00
2026-08-30 20:08:02 -07:00
2026-06-26 11:57:48 -07:00
2026-03-10 21:57:50 -07:00
2026-09-10 17:24:51 -07:00
2026-03-01 16:01:16 -08:00
2026-08-30 20:08:02 -07:00
2026-08-14 14:45:57 -07:00
2026-08-30 20:08:02 -07:00
2026-03-09 17:49:54 -07:00
2026-03-10 21:57:50 -07:00
2026-08-28 15:53:34 -07:00
2026-06-26 11:57:48 -07:00
2026-07-27 20:44:05 -07:00
2026-07-15 18:16:32 -07:00
2026-03-01 16:01:16 -08:00
2026-08-29 13:09:36 -07:00
2026-09-10 16:26:15 -07:00