issues Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:C# linked:pr
Filter by
5.1M results
Summary
The LeakyReLU Zonotope relaxation never adds its error generator: an algebra slip makes the computed error identically
zero, so crossing dimensions are pinned exactly to the secant line. Per-dimension ...
Kiguli
Summary
The relaxed ReLU Star over-approximation with relax_method= bound can return a reach set that excludes true outputs by
O(1) — in the worst case it returns the input star unchanged, with no ReLU ...
Motivation
Batch 2 of the domain-specialist roadmap (see #7 for the market analysis). Three skills targeting the highest
demand-side signals from the June 2026 research:
1. code-standards-adopter — ...
timwukp
Problem
1. Standing detail is restricted — users can only see their own row detail, not others.
2. Fixtures and Predictions views open with no date filter, showing all matches at once.
Proposed Solution ...
enhancement
pvarper
Goal
Glanceable, almost gamified session-state visuals on /mobile (owner request during live tablet testing, 2026-06-11).
Four states, each unmistakable at arm s length:
| State | Meaning | Visual direction ...
feature:portal
dotdevdotdev
背景
Merged PR #47 で、整文前の話者名確認ダイアログから speaker alias を保存できるようになった。
Codex review comment: https://github.com/TommyKammy/KoeNote/pull/47#discussion_r3399985665 Related: #39, #42, #47
問題
確認ダイアログで Speaker_0 ...
enhancement
TommyKammy
Goal
Show a small, clickable badge in the dashboard header when a newer Pithead release exists on GitHub, linking straight to
that release s page. Notify-only — it does not update anything; it s a callout ...
dashboard
enhancement
VijitSingh97
설명
HuggingFacePublisher가 os.path.commonpath로 공통 루트를 계산할 때, 무관한 절대 경로가 입력되면 common root가 /가 되어 relative_to가 tmp/..., var/...
같은 호스트 파일시스템 경로를 repo path로 만듭니다.
위치
- src/kpubdata_builder/publishers/huggingface.py:12-23,61-65 ...
bug
yeongseon
설명
Bronze/Silver/Gold 단계 persistence는 최근 atomic으로 강화되었지만, manifest.json 쓰기는 여전히 truncate-then-write 패턴입니다. 크래시나 동시 접근 시
부분/손상된 매니페스트가 남을 수 있습니다.
위치
- src/kpubdata_builder/manifest/writer.py:45-49 ...
bug
배경
현재 CI는 기본적인 job 분리는 되어 있지만 GitHub Actions 화면에서 실패 위치를 빠르게 읽기에는 이름과 단계 구분이 다소 약합니다. 초기 저장소 단계부터 backend, frontend,
Android, iOS, repository policy 검증을 명확히 분리해두면 이후 스캐폴드와 배포 작업이 늘어났을 때 실패 범위를 더 빨리 좁힐 ...
documentation
AquilaXk
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.