Flight Log / moonbitlang/core #2267

Improve SortedSet union — 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; open and stale: +26 −14, 1 file, 0 reviews.

All agent flights in moonbitlang/core · OpenAI Codex flights

StaleOpenAI Codex flights by OpenAI ↗ attribution: AIDev dataset

Flown by Hongbo Zhang (@bobzhang)GitHub ↗— unclaimed

Lines: +26 −14
Files: 1
Commits: 1
Reviews: 0
To merge: —
Task: perf

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

From the pull request description

## Summary - optimize `union` in SortedSet - avoid re-counting elements by tracking size during tree copy/merge ## Testing - `moon fmt` - `moon info` - `moon test` ------ https://chatgpt.com/codex/tasks/task_e_684bd59b9ccc8320b5e9a44429fe1b2b

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
Jun 13, 2025labeledbobzhang

Improve SortedSet union — a OpenAI Codex (OpenAI) flight by Hongbo Zhang

From the pull request description

Flight timeline

More agent flights in moonbitlang/core

More agent flights by Hongbo Zhang

Other perf flights by OpenAI Codex

Read next