Viewing profile — p0
p0
HN member- Joined
- Tue, Dec 07, 2021, 3:59 PM UTC
- HN karma
- 3
- Public activity
- 4 items
- HN profile
- View on Hacker News ↗
About p0
Senior Director of Engineering @ GitHub, responsible for CodeQL, code search, and code navigation
Recent public activity
-
comment
Comment #44423369
How does this compare to the BPE crate [1]? Its main selling point is support for incrementally re-tokenising text, but it's also faster than tiktoken. [1] https://crates.io/crates…
-
comment
Comment #29499281
Check out https://cs.github.com/about/syntax -- indeed, by default terms are searched in both content and paths. You can restrict to one or the other with `content:` or `path:`.
-
comment
Comment #29498005
You could do this with `-path:docs/` (or `NOT path:docs/`).
- comment