Skip to content

pullrequests Search Results · language:Dune language:JavaScript language:Python language:Java language:Python language:Python

Filter by

183M results  (2 s)

183M results

Automated re-open (ADR-009, SPEC-009-A): all of six-dvd-pow-three-add-five-mul s decomposition sub-lemmas are proved, so the parent returns to open and can be proved with the subs as imports. It still ...

Description Raw :code: markup was leaking into rendered MetricFrame API docs because several numpydoc parameter declarations used name: instead of name : type. This fixes those malformed declarations ...

Automated Phase-1 proof of goal pell-d14-ladder-step-preserves by agent mac-158f (ADR-006, ADR-007, SPEC-007-A). New library module library/Unsorry/PellD14LadderStepPreserves.lean re-states and proves ...

Fixes #43. Supersedes #44. Problem ChimeraX 1.10.1 ships a newer pandas where the starfile reader returns string columns (e.g. rlnMicrographName) as the pandas extension StringDtype instead of numpy ...

Updates the requirements on matplotlib to permit the latest version. details summary Release notes /summary p em Sourced from a href= https://github.com/matplotlib/matplotlib/releases matplotlib s releases ...

Summary Fixes a real failure the user hit: asking * did the iran war end? * got a confidently-stale answer from training data (the model read it as the 1980s Iran–Iraq war). Now time-sensitive questions ...

Summary Planning-only update. Adds four new REQs to Phase 6 (Release Supply Chain) to close two production-grade CVE-posture gaps the original plan didn t cover. - SEC-07 — scheduled Trivy rescan of ...

Second leaf of S2. compare_report(experiments, output_dir, *, name, sort_by) ranks a set of experiments into a leaderboard markdown table and overlays their equity curves (rebased to 100) into equity_overlay.png. ...

This pull request was created by @kiro-agent on behalf of @carloscartagena :ghost: Comment with /kiro fix to address specific feedback or /kiro all to address everything. sub Learn about Kiro Web /sub ...

Bumps eslint-plugin-react-hooks from 7.0.1 to 7.1.1. details summary Release notes /summary p em Sourced from a href= https://github.com/facebook/react/releases eslint-plugin-react-hooks s releases /a ...