issues Search Results · language:Dune language:Python language:Java language:Java language:Java language:CSS language:Java
Filter by
25.6M results
00nahyeonKimStart note: 2026-06-08 10:12 BST / 09:12 UTC
Lane: Lane 07 -- Phase 1 helper harness and workflow gates
Goal for this session: add a bounded tests-root Zig contract for the Phase 1 helper fixture schema ...
adybag14-cyber
What happened
When asking for a literature review inside an existing ASTRA project, the expectation is that ASTRA s literature
machinery (prior_insights / findings / evidence + the lc-extractor agent) ...
calumhrmurray
Start note
- Date: 2026-06-08 10:14 UTC
- Lane: Lane 08 -- Phase 1 helper ports B: argv_split, cmdline, ctype, hweight
- Intended bounded objective: add one exact-absent helper-local Zig proof in ...
Problem or Use Case
Hermes background self-improvement loop (background_review + curator) only learns from success — creating skills from
what worked. It doesn t systematically learn from failure.
In ...
Love-JourneY
Start note: 2026-06-08 09:08 UTC / 2026-06-08 10:08 BST
Lane: Lane 05 — Bootstrap CI workflow viability.
Bounded objective: add a narrow Zig-facing contract for the bootstrap pinned Zig setup activation ...
Start note
- Date: 2026-06-08 09:10 UTC
- Lane: Lane 06 -- Phase 1 helper ports A: bitmap, find_bit, string, rbtree
- Intended bounded objective: add one exact-absent, non-overlapping Zig replay ...
Problem
Running the documented R2E data build via uv run on a fresh GPU server fails with:
ModuleNotFoundError: No module named r2egym
scripts/build_data.py r2e imports r2egym.commit_models.diff_classes.ParsedCommit, ...
Siyuexi
Start note: 2026-06-08 09:10 UTC
Lane 04 — Differential-test root and harness scaffolding.
Bounded objective: restack the existing one-file Lane 04 PR #21625
(zigux/tests/phase3_dev_t_notifier_low_level_build.zig) ...
prigigante
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.