Skip to content

issues Search Results · language:Edge language:Python linked:pr linked:pr language:Java language:JavaScript

Filter by

5.8M results  (440 ms)

5.8M results

omarespejel/provable-transformer-vm
Explore Stwo-AI boundary optimization for transformer proof surfaces

Thesis The proof-pressure paper suggests a concrete next research direction: do not rewrite Stwo first; build a small Stwo-AI research fork or adapter layer that targets transformer-shaped proof boundaries. ...
research-frontier
  • omarespejel
  • 3
  • Opened 
    1 hour ago
  • #757

pewdiepie-archdaemon/odysseus
Allow for tasks to trigger on specific email account and folder

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
  • jcsumlin
  • Opened 
    1 hour ago
  • #2212

dartmouth-cs98/project-ad-gentic-ai
Fix missing frontend migrations

  • keeeeeevinguo
  • Opened 
    1 hour ago
  • #259

hskim-solv/BidMate-DocAgent
docs: clarify T-2026-0027 real100_v2 boundary

Clarify T-2026-0027 so the RAG performance experiment stack names current real100_v2 aggregate-only private-eval evidence for performance claims.\n\nScope: docs/plans/T-2026-0027-rag-performance-experiment-stack.md ...
  • hskim-solv
  • Opened 
    1 hour ago
  • #2059

heyoonyoon/distributed-programming
Frontend: 날짜 입력을 로컬 기준으로 통일

시작일/종료일과 사고 일자 검증이 ISO UTC 기준이라 KST에서 하루 전날로 보일 수 있습니다. 날짜 입력과 미래일 검증을 로컬 날짜 기준으로 통일합니다.
  • heyoonyoon
  • Opened 
    1 hour ago
  • #50

hristokaraperev/cook-book
[Enhancement]: Delete recipe records and generated documents together

Summary Delete recipes by removing both the Recipe Record and generated Recipe Document. Current behavior Deleting a recipe deletes the current Google Doc recipe file, because the document is also treated ...
enhancement
ready-for-agent
  • hristokaraperev
  • Opened 
    1 hour ago
  • #17

cboard-org/cboard
Batch untracked board graduation instead of per-board updateBoard dispatch

Summary In the board sync engine, Pass 2 of classifyBoardsForPush graduates untracked boards (boards with no syncMeta entry) that already exist on the server with the same or newer lastEdited. Graduation ...
  • RodriSanchez1
  • Opened 
    1 hour ago
  • #2211

hristokaraperev/cook-book
[Enhancement]: Edit recipes by updating records and generated documents

Summary Edit recipes by updating the Recipe Record and existing generated Recipe Document. Current behavior Editing a recipe overwrites a Google Doc body and stores recipe JSON in Drive file metadata, ...
enhancement
ready-for-agent
  • hristokaraperev
  • Opened 
    1 hour ago
  • #15

hristokaraperev/cook-book
[Enhancement]: Save new recipes as Recipe Records plus generated Recipe Documents

Summary Save new recipes as a canonical Recipe Record in Cookbook/.data and a generated Recipe Document in Cookbook/Recipes. Current behavior New recipes are saved as Google Docs, while canonical recipe ...
enhancement
ready-for-agent
  • hristokaraperev
  • Opened 
    1 hour ago
  • #14

hungovercoders/slopstopper
metatags io not showing images

I don t see images when I parse metatags in metatags.io. why is that?
  • dataGriff
  • Opened 
    1 hour ago
  • #145
Issue origami icon

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 Issues
ProTip! Restrict your search to the title by using the in:title qualifier.
Issue origami icon

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 Issues
ProTip! Restrict your search to the title by using the in:title qualifier.