Skip to content

issues Search Results · language:Dune language:Python linked:pr language:JavaScript language:Java language:JavaScript

Filter by

5.9M results  (414 ms)

5.9M results

Summary Replace the current assignment answer-key editing workflow with a safer per-question editing workflow. The existing edit-assignment workflow allows the teacher to enter comma-separated question ...
bug

Checklist - [x] This feature will maintain backward compatibility with the current APIs in areal/api/. (Additive: one new actor.loss_aggregation field; default token_mean is byte-identical to today.) ...

Checklist - [x] This refactor maintains backward compatibility with all user-facing APIs. (The group_size field stays; correctly-set configs are unchanged. A value that disagrees with n_samples ...

Checklist - [x] This feature will maintain backward compatibility with the current APIs in areal/api/. (Additive: one new actor.use_cispo_loss flag, default False → byte-identical to today.) Background ...

Checklist - [ ] The error occurs when using our provided Docker image. (Logic bug in the OpenAI→HF render path; independent of the container — reproducible from a plain apply_chat_template call.) ...

Parent Follow-up under #1882. Keeps #1882 open. Context Recent Scout KV foundation work completed: - #2584 / PR #2585: KV skeleton activation gates. - #2586 / PR #2588: KV live storage key/value ...
tech

Situation Sonar complains about CliException being a checked exception (rule S1160: Checked exceptions should not be thrown ). In modern Java design, unchecked exceptions are often preferred for situations ...
refactoring

Give the extension popup a softer look by rounding its outer corners. Currently the popup body has no explicit background/border, so Chrome draws the popup window with square corners. Add a small border-radius ...
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! Restrict your search to the title by using the in:title qualifier.