issues Search Results · language:Dune language:Python language:TypeScript language:Java language:JavaScript language:HTML
Filter by
77M results
🤖 (agent-generated)
MuonH + on-ball EMA-Nesterov: algorithm, results, and the lookahead-β landscape
Tracking a stabilized-lookahead wrapper (EMA-Nesterov, arXiv:2605.25395) composed with our norm-preserving ...
agent-generated
WhenWen
On the /pricing/ page navbar, the right-hand side should match the homepage: the dark/light theme toggle button first,
then the sign-in / profile button.
Previously the pricing navbar had a static Sign ...
jeromeetienne
Parent
#18
What to build
Log two analytics events that will answer the core question: does this session structure improve proof project
completion rates?
- session_started — fired on PREP→CHAT transition ...
enhancement
ready-for-agent
sahilsinghM
Context. Two tests validate daemon-vs-indexer schema agreement:
- client/test/hermetic/indexer-roundtrip.test.ts — hermetic: loads the committed snapshot via spawnAnvilFromState, no
live RPC. Runs ...
ritsuKai2000
Prerequisites
- [x] I searched open issues and this has not already been proposed.
- [x] I searched discussions and this is not already being debated there.
- [x] This is a concrete, actionable ...
enhancement
ready for review
sacb0y
Start note: 2026-06-04 17:56 UTC
Bounded objective: advance Lane 29 Phase 3 err_ptr/xarray interop with a non-overlapping Zig tests-root replay/build
pair that proves xarray slot pointer constructors ...
adybag14-cyber
Dogfooding finding
During the #1289/#1303 lane, planning closeout accepted the completed plan but skipped retaining the full archived
execplan because the archive would exceed the structured-file inventory ...
planning
rickardvh
Description
There s no way to see how far the deployed environments lag main without manually comparing commits. We want the infra
dashboard (618457) to show, at a glance, how many commits staging and ...
enhancement
ready-for-work
SgtPooki
Source: /critique pass (user-jot commit b12f1e9) Severity: MED · Category: visual · URL: /combat
Observation
In the combat modal, let s space the heart/body/mind buttons evenly instead of listing from ...
enhancement
loop:opened
severity:med
source:user
github-actions[bot]
Parent
#18
What to build
Add a server component at /proof/[sessionId]. The session is fetched with a user_id equality filter — a mismatch (or
missing session) returns 404, not 403, to avoid confirming ...
enhancement
ready-for-agent
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.