pullrequests Search Results · language:Dune language:Python language:JavaScript language:PHP language:JavaScript language:Java
Filter by
197M results
Proves sum-range-three-consecutive-product: for every natural n, 4·∑_{i n} i(i+1)(i+2) = (n−1)·n·(n+1)·(n+2) — the
telescoping tetrahedral-by-4 closed form.
Proof
The RHS has a truncated (n−1) in ℕ, ...
swarm:prove
chat-bit-01
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
pull[bot]
Removes esbuild. It s no longer used after updating ancestor dependencies esbuild, @vitejs/plugin-legacy,
@vitejs/plugin-react, vite and @vitejs/plugin-react-swc. These dependencies need to be updated ...
dependencies
javascript
dependabot[bot]
Motivation
- Break the huge SolverV2.js monolith into a maintainable modular solver surface and surface a compact public/testing
API.
- Harden CI and deployment workflows to use reproducible installs ...
codex
gamesbyian
Summary
- After a successful pre-stop flush (save-off → save-all → settle), skip RCON stop and docker stop (SIGTERM) and go
directly to SIGKILL
- Both RCON stop and SIGTERM trigger MC s own shutdown ...
mmiura-2351
????
??README?????,??????
????
- README.md???????????
- ?????????????????
- ??Windows?????.gitignore
????
???????????
bigcj666
Summary
- Map singular vision_msgs/msg/Detection2D topics to the same native camera_detections_candidate kind as
Detection2DArray templates.
- Accept legacy singular camera/detection topic-map ...
FlorianPfaff
TL;DR
The window.postMessage() call at line 190 uses a wildcard target origin (*), allowing any cross-origin window to receive
the require-backends message containing backend version negotiation data. ...
appsecai-app[bot]
Summary
Sharpens the earlier kappa(X) = 1 to a full Kodaira-dimension decision: kappa(X) = 2, X is of general type — established
rigorously after the cheap argument is shown to fail. Four independent ...
boyam01
Bumps the github-actions group with 2 updates: actions/checkout and shivammathur/setup-php.
Updates actions/checkout from 6.0.2 to 6.0.3 details summary Release notes /summary p em Sourced from a href= ...
dependencies
github_actions