issues Search Results · language:Dune language:Python language:JavaScript language:TypeScript language:PHP language:HTML
Filter by
68.4M results
1. Executive Summary
Reconcile project board status, issue bodies, labels, milestones, dependencies, and execution order against the audit
evidence for Local delivery recovery.
2. Business / Product ...
board-hygiene
delivery-audit
dependency-tracking
execution-order
local-recovery
project-cleanup
moldovancsaba
Summary
There is no public general theorem for multiplying by a successor on Nat. The natural fact
m * suc(n) = m + m * n
exists in lib/NatMult.pf as mult_suc, but it is declared lemma, so it is module-private ...
enhancement
jsiek
Problem
In the README Quick Start, the Run GRPO (DTensor) command does not include a config file, while Run GRPO (Megatron)
does. This implies to new users that DTensor is the default and requires no ...
anwithk
1. Executive Summary
Audit Unit operations recovery contracts for Local jobs, stale content, Miniapp publishing, read-model freshness, retry,
cancel, rollback, and acknowledge flows.
2. Business / Product ...
accessibility
audit
delivery-audit
dependency-tracking
execution-order
gds
local-ai
local-recovery
miniapp
operations
quality-gate
security
Problem
The documentation explains that auto-selection between the DTensor and Megatron backends exists but does not provide a
general rubric for when each will be chosen. Users have no intuition for ...
Describe the bug
The latest Linux AppImage for version 1.13.0 hosted on the CDN
(https://cdn.anythingllm.com/latest/AnythingLLMDesktop.AppImage) incorrectly reports its version as 1.12.1 in the UI.
Despite ...
jarrodcolburn
1. Executive Summary
Verify whether daemon, cron, manual, route, and script product mutation paths are truly enqueue-only under the
three-lane execution contract.
2. Business / Product Context
Issue ...
delivery-audit
dependency-tracking
execution-order
local-recovery
playlist-lane
quality-gate
queue-authority
runtime
three-lane-execution
Summary
When a numeric literal (which defaults to UInt) is used where a Nat is expected, the error message gives no hint that
the fix is to write a ℕ-prefixed natural-number literal. For a beginner defining ...
error message
good first issue
Summer intern Aditya Borate found PHI/PII in the Automated System for Breast Cancer Biomarker Analysis (Collection 1)
collection, one of Dr Heine s collections. @hoodriverheather asked that the validator ...
nutjob4life
Problem
All references in the repository, Dockerfile, and documentation assume CUDA 12. CUDA 13 systems encounter multiple
undocumented compatibility issues (see INSTALL-5 through INSTALL-8). CUDA 13 ...
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 IssuesProTip! Restrict your search to the title by using the in:title qualifier.
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 IssuesProTip! Restrict your search to the title by using the in:title qualifier.