issues Search Results · language:Edge language:Python linked:pr linked:pr linked:pr language:JavaScript language:TypeScript
Filter by
7.8M results
Idea
Make the robot react to where sound comes from. The behavior engine (shipped in #18 / v0.5.0) is the natural home: add a
listen / orient-to-sound behavior that turns the head toward the direction ...
enhancement
OriNachum
Summary
The ℕ-prefixed natural-number literal notation (ℕ0, ℕ5, ℕ15, …) is the only way to write a Nat literal, but it is
documented only in the grammar section of the Reference manual (gh_pages/doc/Reference.md, ...
documentation
good first issue
jsiek
Parent bounty: #743
The notification service currently creates records with { id: generated, read: false, ...payload }, so a request body
can override the generated notification id and the initial unread ...
hapwi
Context
T6 s --live raises NotImplementedError and its non-mutation probe returns hardcoded safe values. The graded run needs: a
REAL probe, live LLM plumbing to freeze the K samples (the one paid step), ...
component:sophia
domain:hcg
priority:high
type:research
c-daly
Context
SPEC §7.4: A0 is measured, not asserted — actually run the current tier-2/rollup pipeline on the same frozen clusters
and measure its root distribution / graft depth / fragmentation. Every v2 ...
component:sophia
domain:hcg
priority:high
type:research
Context
The T6 runner (PR #10) threads --ablation through CLI, snapshot, and the injectable cascade_fn seam, but only the full
arm is wired — A1-A5 raise NotImplementedError. The eval verdict REQUIRES ...
component:sophia
domain:hcg
priority:high
type:research
Summary
There is no public general theorem for multiplying by a successor on Nat. The natural fact
m * suc(n) = m + m * n
exists in lib/NatMult.pf as mult_suc, but it is declared lemma, so it is module-private ...
enhancement
in progress
Summary
When a numeric literal (which defaults to UInt) is used where a Nat is expected, the error message gives no hint that
the fix is to write a ℕ-prefixed natural-number literal. For a beginner defining ...
error message
good first issue
Descrição
Adicionar infraestrutura de testes end-to-end com bun test e o primeiro teste e2e cobrindo a rota POST /auth/sign-in.
Motivação
O projeto não tinha nenhum test runner configurado. Testes e2e ...
GustavoMelloGit
Part of #7.
Goal
GitLab parity with GitHub: discovery + UI + scaffolder. The gitlab integration block in app-config.production.yaml
(lines 67-74) and agenix backstage-gitlab-token are already in place ...
enhancement
phase:C
olafkfreund
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.