pullrequests Search Results · language:Dune language:HTML language:JavaScript language:JavaScript language:Python
Filter by
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 ...