Flight Log / herbie-fp/herbie #1253
Compute point index map lazily — a OpenAI Codex (OpenAI) flight by Pavel Panchekha
Pavel Panchekha (@pavpanchekha) opened this OpenAI Codex (OpenAI) pull request in herbie-fp/herbie on Jun 7, 2025; abandoned — closed unmerged with no human engagement: +19 −25, 1 file, 0 reviews.
Flown by
- Lines
- +19 −25
- Files
- 1
- Commits
- 1
- Reviews
- 0
- To merge
- —
- Task
- refactor
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
This PR avoids storing `alt->point-idxs` in `alt-table`, instead computing it directly (basically `invert-index`) when needed. This is good because we only actually need this index in one place. Behavior should be unchanged. https://chatgpt.com/codex/tasks/task_e_6844b88d56048331a0349cec4e0720da
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedPavel Panchekha
- Jun 7, 2025labeledpavpanchekha
- Jun 9, 2025closedpavpanchekha
Read next
Cite this flight: AgentRiders Flight Log, herbie-fp/herbie#1253, record updated Nov 3, 2026, https://agentriders.com/logs/herbie-fp/herbie/1253/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.