产品Agent 与开发者多源确认精选10:05Context.dev 开源 Rust 编写的本地语义代码搜索 CLI「sgrep」Context.dev 开源的 sgrep,一个 32MB 完全离线的语义代码搜索 CLI,给 agent 用能比 ripgrep 省 21.3% API 开销,代码不外传,写代码的可以装一个试试。#sgrep#ripgrep#Tree-sitter#编程助手4 个信源在谈事件专题shao__meng@shao__meng5 个信源在谈原文稍后读已读值得跟进有用关注 sgrep
论文Agent 与开发者11:31BUGSTONE-E2E:将漏洞历史转化为可执行检测规则研究人员用CVE历史构建了BUGSTONE-E2E,能自动检测软件漏洞并生成修复补丁,比传统方法更高效精准。#BUGSTONE-E2E#CVE#软件漏洞#LLMaarXiv cs.AI@Qiushi Wu 等 7 人原文稍后读已读值得跟进有用关注 BUGSTONE-E2E
论文10:35WoFT:结合形式语法验证与结构学习的代码生成新范式想写更少bug的代码?WoFT帮你模型边生成边检查语法,比普通微调少14%错误,而且学会了用语法树当草稿纸。#WoFT#StarCoder2#Tree-sitter#语法验证aarXiv cs.LG@Alexandre Bouayad原文稍后读已读值得跟进有用关注 WoFT