issues Search Results · language:Dune language:Python language:JavaScript language:HTML language:JavaScript language:Java
Filter by
61.6M results
问题描述
本次清理三个维度的技术债务:
1️⃣ 遗留空目录
simulator/ 和 source/ 两个旧目录只剩 __pycache__,不再包含源代码。需要删除并在 .gitignore 中排除。
2️⃣ 过期文档
- README.md 中的项目结构图仍引用已不存在的 solver/、simulator/、source/ 目录
- README 代码示例使用 from simulator ...
ai-done
Contexto
Construir uma interface frontend da Página de Status do sistema sem layout, apenas para entender o funcionamento e a
dinâmica de trafegar informações entre o client e server
Execução
Disponibilizar ...
Hi rna3db team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology — proved in
Lean 4, no sorry, no axiom shortcuts.
For RNA 3D structure analysis pipelines ...
📋 작업 내용
Notification, Outbox, SSE, RateLimiter, Slack 서비스의 예외 삼킴 및 장애 방어 경로 테스트가 누락되어 있습니다.
✅ 체크리스트
- [ ] NotificationService.notify() — afterCommit 콜백 내부 예외가 외부로 전파되지 않는지 테스트
- [ ] OutboxEventPublishExecutor.execute() ...
test
Tracked through the AgentOS issue/branch lifecycle policy.
- Kind: task
- Phase: 2
- Task ID: P2-30
- Planned branch: codex/p2-30-align-roadmap-governed-completion-source-of-truth
docs
governance
phase-2
roadmap
Selam.
2 sorunu göstereceğim.
1. URL kısaltma algoritması hatalı
Daha önce eklediğim shortenUrlDisplay URI Authority uzun olduğunda beklediğimiz gibi çalışmıyor. Algoritma biraz daha
farklıymış. Sözlük ...
Summary
Configurar la aplicación web con Next.js 14 (App Router), implementar el design system con CSS Variables + Tailwind
(misma paleta que mobile), auth completa con JWT y cookies httpOnly, layout ...
feature
frontend
priority:high
ready
Hi DLScore team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology, proved in Lean 4
— no sorry, no axiom shortcuts.
For deep learning-based protein-ligand ...
Hi CodonTransformer team,
K-Lean (kenosian-lean4) provides 90 machine-verified mathematical contracts for computational biology — proved in
Lean 4, no sorry, no axiom shortcuts.
For deep learning-based ...

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.