「代码分析」共找到 2622 篇相关文章
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
这个开源项目 OpenStory，把 AI 短剧制作变成了一条可复制的工业流水线！
现在制作完整AI短剧流程繁琐，很多团队是小作坊式生产，效率低且难规模化。OpenStory开源项目站在成熟AI服务肩上，将AI短剧制作工业化，能把剧本变成风格统一的视频作品，解决诸多痛点。
AI 是设计工具的顺风还是逆风？
在生成式AI影响下，Figma曾被视为「AI输家」，但2026年第一季度营收同比增长46%。其联合创始人兼CEO Dylan Field称，AI是业务扩张核心驱动力，强调设计价值在不可被AI标准化领域。
我去，程序员的福音啊？2.69 万 Star Maple Mono，真心不错，我已经用上啦～～～
介绍开源编程字体 Maple Mono，它将圆角、连字等多种特性融入一套字体，能提升代码可读性、优化符号表达等，解决了程序员高频痛点，但也有局限性，建议试用。
25.2K Star！OpenAI 官方开源的 Claude Code 插件，可直接调用 Codex 的审查能力！
OpenAI 官方发布全新插件 codex - plugin - cc，可让 Claude Code 和 Codex 在同一工作流协作，解决开发者在多工具间切换痛点。插件有工作流无缝衔接等亮点，提供 7 个核心命令，还给出快速上手步骤。
王云鹤眼中的Harness：复杂优化问题，AGI灵魂争夺之战
王云鹤在知乎文章中探讨Harness Engineering，指出Agent=Model+Harness，多模型配合能提升Agent能力。还分析Harness存在的必要性，认为它是复杂优化问题，关乎AI“灵魂”之争。
我的一人公司，空降腾讯一键开雇！
作者分享一人公司借助腾讯WorkBuddy升级，自建数据分析、编辑部，外聘软件工坊等团队，AI当同事，0元年薪24小时在线，解决一人难扛多事问题，还介绍使用方法。
8720个AI岗位真相：LLM和Agent吃掉58%的岗位
AIDevBoard团队基于9906条招聘数据，分析8720个AI岗位。LLM和Agent需求占比58%，头部实验室主导高薪。混合办公薪资最高，不同城市、资历薪资有差异，能助了解AI就业状况。
图像编辑模型不止生成：BIGAI&上交大提出EAR范式，系统测试其视觉规划能力
上海交通大学联合北京通用人工智能研究院提出EAR范式，构建AMAZE基准，分析图像编辑模型视觉推理能力。研究发现模型零样本表现弱，扩散式模型更适合视觉规划，CoT效果不稳定等。
Karpathy 最新访谈：Vibe Coding 只是开始，真正重要的是 Agentic Engineering
Andrej Karpathy在访谈中分享编程范式剧变感受，谈到Software 3.0实质，指出AI能力不均，介绍Vibe Coding和Agentic Engineering区别，还提及创业机会、人类技能价值等内容。