Skip to content

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

Filter by

55.4M results  (685 ms)

55.4M results

An Empirical Study of LLM-Generated Specifications for VeriFast Authors: Wen Fan, Minh Tran, Sanya Dod, Xin Hu, Marilyn Rego, Danning Xie, Jenna DiVincenzo, Lin Tan Published: 2026-06-25 Categories: cs.SE, ...
arxiv:cs.AI
arxiv:cs.LO
arxiv:cs.PL
arxiv:cs.SE

Platform Check seems to ignore barcode discrepancies and makes it possible to add ISRCs from incorrect releases like Beatport. Previously I had strict barcode check disabled, then enabled. In both cases ...

Same Scrutiny, More Time: Eye Tracking Insights into Reviewing LLM-Labelled Code Authors: Ranim Khojah, Francisco Gomes de Oliveira Neto, Mazen Mohamad, Julian Frattini, Philipp Leitner Published: 2026-06-25 ...
arxiv:cs.HC
arxiv:cs.SE

Consolidates residual validation from #5/#12/#15/#17: helm lint/template/install, terraform validate/plan, istioctl analyze + negative-connectivity.
devops
testing
track-a

Feeding back a fix made in a rendered instance (gramps-testbed-v2 PR #264) so it lands in the template. Problem: when a finished prerequisite bundle is archived to results/completed/, the core dependency ...

Knowledge-Based Pull Requests: A Trusted Workflow for Agent-Mediated Knowledge Collaboration Authors: Xinyu Zhang, Weiwei Sun Published: 2026-06-25 Categories: cs.SE, cs.HC Links: abs | pdf Abstract ...
arxiv:cs.HC
arxiv:cs.SE

5 snippets from your inbox. Edit each one — cut it, sharpen it, rewrite it. Reply with your edited versions, or commit them to sessions/. 1 of 5 nbsp; nbsp; (inbox #35) Besides which, getting dragged ...
daily-edit

并发创建测试 B — Sun Jun 28 19:13:22 LCL 2026

并发创建测试 A — Sun Jun 28 19:13:22 LCL 2026

ignore4
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.