issues Search Results · language:Dune language:Python language:HTML language:PHP language:JavaScript language:JavaScript
Filter by
52.9M results
AWF deferred a review thread while monitoring PR #553.
- Path: src/awf/control/executor/ollama_model.py
- Thread: https://github.com/dimileeh/agent-workspace-fabric/pull/553#discussion_r3407970946 ...
Prerequisites
- [x] I searched open issues and discussions and did not find an existing report of this bug.
- [x] This is not a security vulnerability. (Vulnerabilities go to GitHub Security Advisories ...
bug
ready for review
img width= 1016 height= 863 alt= Image src=
https://github.com/user-attachments/assets/ffa81756-cb01-4eb0-a088-4be686ccb0f8 /
https://github.com/GibbonEdu/module-freeLearning/blob/53a913175547610ddebd2ce4cadf7bd087f11085/Free
Learning/units_browse_details_approvalProcess.php#L276
@ali-ichk
When you have a moment, please can ...
Context
M2 smoke for #34 (265136f) showed partial success:
- micro_probe_required fired before CODE.
- targeted shrink no longer escaped to local_edit.
- invalid structural-probe replacement contracts ...
目前完成Tensor-based Autograd
Rasterizer版本的梯度后传优化,可优化参数为gaussian-color和cen_world。然而过程遇到一个问题,cen_world的收敛效果很依赖于初始值,即如果采用随机值初始化cen_world,模型很难收敛至真实值。
def render_torch(height,width,inv_k,cen,inv_covs,weights,colors): ...
Read all the documents in the planning directory, then build the complete Market Data backend in the backend/ directory.
This should include:
1. The Massive API interface
2. The unified market data ...
问题
合成过程中需要实时推送进度到前端:
1. 合成进度更新
2. 合成完成通知
3. 错误通知
4. 支持多个客户端同时连接
解决方案
api/ws.py — WebSocket 进度推送
ConnectionManager — 连接管理器:
- connect() / disconnect() — 连接生命周期管理
- roadcast() — 向项目的所有连接广播消息 ...
enhancement
Submission URL
https://github.com/rishistyping/autoformalization-machine-intelligence/commit/22353340f1fef1294c8baa522cdc338038e78ddc
Model
Stealth Model
How this solution was produced (optional)
...
img width= 1272 height= 3389 alt= Image src=
https://github.com/user-attachments/assets/f75532f8-389b-4a4e-9b9e-b5f430ebd8cd /

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.