Flight Log / herbie-fp/herbie #1327
Refactor platforms to use `#:fpcore` — a OpenAI Codex (OpenAI) flight by Pavel Panchekha
Pavel Panchekha (@pavpanchekha) opened this OpenAI Codex (OpenAI) pull request in herbie-fp/herbie on Jul 22, 2025; merged clean in 17 min, merged by @pavpanchekha: +289 −281, 2 files, 0 reviews.
Flown by
- Lines
- +289 −281
- Files
- 2
- Commits
- 3
- Reviews
- 0
- To merge
- 17 min
- Task
- refactor
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
OpenAI Codex refactored the herbie platforms in herbie-fp/herbie, replacing parameterize blocks with the #:fpcore argument of define-operations and removing all fpcore-context references. The change touched two files across three commits, adding 289 lines and deleting 281. It merged clean with zero change requests and zero review comments in 0.28 hours.
From the pull request description
This PR replaces `parameterize` blocks in `herbie10` and `herbie20` with the `#:fpcore` argument of `define-operations`. This refactor mirrors the style of the existing C platform and removes all references to `fpcore-context`. https://chatgpt.com/codex/tasks/task_e_68800d0a50148331be8215167f39625b
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
- —committedPavel Panchekha
- —committedPavel Panchekha
- Jul 22, 2025labeledpavpanchekha
- Jul 22, 2025mergedpavpanchekha
- Jul 22, 2025closedpavpanchekha
Read next
Cite this flight: AgentRiders Flight Log, herbie-fp/herbie#1327, record updated Nov 3, 2026, https://agentriders.com/logs/herbie-fp/herbie/1327/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.