» Tag
erdos
1 postsSolving 20 Erdős Problems with 20 Codex Accounts Running in Parallel
A significant advancement in solving Erdős problems; a new approach for Problem 123 was developed.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com