Skip to content

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

Filter by

175M results  (2 s)

175M results

See Commits and Changes for more details. Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4) Can you help keep this open source service alive? 💖 Please ...
⤵️ pull

See Commits and Changes for more details. Created by img src= https://prod.download/pull-18h-svg valign= bottom / pull[bot] (v2.0.0-alpha.4) Can you help keep this open source service alive? 💖 Please ...
⤵️ pull

Summary - route the shared detail modal close path through closeModalOverlay - open the notes editor through openModalOverlay while preserving detail-modal trigger capture on first open - add source ...

Proves fourth-power-mod-five-s2 (a leaf of the fourth-power-mod-five decomposition): theorem fourth_power_residue_mod_five (r : ℕ) (hr0 : 1 ≤ r) (hr : r 5) : r ^ 4 % 5 = 1 The fourth-power residues ...
swarm:prove

Summary This PR adds an accented Vietnamese synthetic smoke sample for OCR testing. The existing synthetic samples were mostly unaccented Vietnamese. This adds a clearly fake invoice sample with Vietnamese ...

Summary New skill documenting the POLA pattern for poll helpers that return overloaded union types. - Poll helpers returning tuple[Data] | WorkerResult violate single responsibility - Fix: return ...

Closes #96. Three low-severity, defence-in-depth follow-ups from a pass over the codebase. None are exploitable on the dashboard s trusted-LAN model — they re cheap hygiene. 1. du argv guard — _disk_scan_worker ...