issues Search Results · language:Edge language:Python language:JavaScript language:Java language:JavaScript
Filter by
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
github-actions[bot]
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 ...
chaban-mb
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
SSobol77
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 ...
eduralph
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
wsvn53
Suumth
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.