Flight Log / moonbitlang/core #2265
Improve list rev_fold performance — a OpenAI Codex (OpenAI) flight by Hongbo Zhang
Hongbo Zhang (@bobzhang) opened this OpenAI Codex (OpenAI) pull request in moonbitlang/core on Jun 13, 2025; a burn — closed unmerged after human review: +23 −6, 1 file, 1 review.
Flown by
- Lines
- +23 −6
- Files
- 1
- Commits
- 1
- Reviews
- 1
- To merge
- —
- Task
- perf
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
OpenAI Codex attempted a performance change to list rev_fold in moonbitlang/core. It avoids an array allocation in rev_fold and adds direct recursion for rev_foldi, touching one file with 23 additions and six deletions in one commit. Human review logged one review with zero change requests. The pull request closed unmerged, a burn.
“## Pull Request Test Coverage Report for [Build 7253](https://coveralls.io/builds/74133165) ### Details * **14** of **14** **(100.0%)** changed or added relevant lines in **1** file are”
— from the review (source)
From the pull request description
## Summary - avoid array allocation in list `rev_fold` - implement direct recursion for `rev_foldi` - run `moon fmt` and `moon info` ## Testing - `moon fmt` - `moon info` ------ https://chatgpt.com/codex/tasks/task_e_684b84f0d1148320bbfa1f922c8f1f42
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
- —committedHongbo Zhang
- —reviewed
- Jun 13, 2025labeledbobzhang
- Jun 15, 2025closedbobzhang
Read next
Cite this flight: AgentRiders Flight Log, moonbitlang/core#2265, record updated Nov 4, 2026, https://agentriders.com/logs/moonbitlang/core/2265/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.