#AI编程
共 9328 篇相关文章
官方Claude Code扩展被曝存在后门风险
Hacker News热议官方Claude Code扩展存在后门风险，讨论获得164点赞。本文分析官方扩展的信任隐患、权限风险及开发者应采取的验证与收紧策略。
从71%外部SaaS到72%自建应用：AI编程重塑软件消费
一位开发者分享浏览器软件屏幕时间变化：从71%外部SaaS到72%自建应用。本文分析AI编程工具如何降低自建门槛、重算SaaS通用税，并讨论自建应用的真实边界与维护成本。
Cognition SWE-2 实战：一个提示词搞定产品发布全流程
解析 YouTube 创作者用 Cognition SWE-2 发布产品的完整提示词：落地页、七封邮件序列与未购买用户跟进工具三段式结构，以及"测试并汇报"这一约束如何改变 AI 的交付质量。
AWS AgentCore Gateway：用MCP打通AI Agent与企…
AWS AgentCore Gateway：用MCP打通AI Agent与企业后端
AWS AgentCore Gateway如何作为主MCP服务器聚合REST API、Lambda与已有MCP服务？解析其AST实时映射、零冷启动、语义搜索治工具过载、会话隔离与密钥注入安全设计，以及企业AI Agent解耦后端的架构思路。
AI编程代理能写代码，但谁来验证可靠性？
AI编程代理能写代码，但代码生成不等于软件工程。一位初级全栈开发者提出七步工作流，强调验证责任不能外包给AI，并追问开发者应给代理多少自主权、如何验证AI代码、初级开发者该优先培养哪些技能。
科技前沿Vibe Coding保姆级教程：六步学会用AI做产品
拆解B站748集Vibe Coding教程的六步方法论，分析Codex、Claude Code、Cursor的使用边界与提示词技巧，讨论这套AI编程教程适合谁、不适合谁，以及如何避免看完不动手的陷阱。
Gym-Anything：用编码智能体造机器人仿真环境
Gym-Anything for Robotics 让编码智能体自动创建机器人仿真环境，按 GDP 数据选取任务，构建 25 个仿真、200 个 RL 环境的 RoboWorld 基准，前沿模型平均奖励仅 0.06。
VeriCUA：用智能体探索重新定义电脑使用智能体的验证
VeriCUA 提出将验证视为智能体探索的新框架，通过动态证据收集解决电脑使用智能体在桌面、移动和网页环境中的任务完成验证难题，在困难案例和虚假完成拒绝上表现更优。
PIVOT：在线教师纠正如何突破RLVR稀疏奖励瓶颈
PIVOT 研究提出在线教师纠正与 token 级 KL 监督相结合的方法，突破 RLVR 稀疏奖励瓶颈，在逻辑游戏基准上将 avg@8 从 19.5% 提升至 35.6%，接近翻倍。
从Cursor转向Claude：开发者实测体验分享
一位Reddit用户分享从Cursor转向Claude的使用体验，称Claude搭配Opus模型表现优异，且拥有更长的5小时与每周用量限制。本文分析开发者迁移背后的动机与AI编程工具竞争趋势。
Mistral开源新模型与AI编程智能体大会亮点
Mistral发布开放权重模型，AIE CODE编程智能体大会聚焦工程化落地。本文梳理开放权重模型对AI编程的意义、前沿监控机制及社区当日讨论热点。
AI日报：Mistral万亿参数模型上线，OpenAI连发福利
AI日报第86期：Mistral Large 4万亿参数多模态模型上线API、月底开放权重；OpenAI免费开放AutoReview并公测Decisions API；谷歌开源191MB端侧多模态嵌入模型Embedding Gemma 2；Perplexity决策模型API降价至每百万token 2美分。
Codex Pro额度翻倍，GPT-6.2与Qwen4齐曝新动向
Codex Pro额度翻倍，GPT-6.2代号与Qwen4发布预告同日曝光，Mistral Large 4开放1.05万亿参数权重，腾讯BuddyOne、豆包企业版与多项语音、机器人模型更新汇总。
GPT-6.1 Terra降价50%，Mistral Large 4开放万亿权重
第40期AI日报要点：GPT-6.1 Terra价格降50%并主打电脑操作，Mistral Large 4开放约1万亿参数权重，OpenAI监控升级可提前30多小时预警，Gemini 4代Carbon限量开放，Android Studio支持40多种编程智能体。
Claude Code v2.1.314 更新解析：权限收紧与稳定性修复
Claude Code v2.1.314 发布，新增 permissions.blockWritesOutsideWorkingDirectories 强制限制工作目录外写入，企业网关支持 IdP 分组路由与 Bedrock 护栏追踪，并修复 claude -p 静默失败、Bedrock 多图会话、vim 模式与 VS Code 多项交互问题。
ParaTTT：并行化深度记忆的测试时训练层
ParaTTT 提出一种并行化深度非线性记忆的测试时训练层算法，通过迭代精炼梯度轨迹实现分块并行，训练速度显著提升，性能媲美线性循环与 Transformer。
强腐败对抗线性赌博机：CRW-FTRL实现近极小极大最优遗憾
解读强腐败对抗线性赌博机新算法CRW-FTRL：采用半径加权熵正则化与归一化核估计，将遗憾上界提升至Õ(√(dT log K)+dC)，匹配无腐败最优速率与Ω(dC)下界，解决Liu等人遗留的开放问题。
FSDP通信终局：TIDE零拷贝集合通信优化
TIDE零拷贝集合通信优化FSDP2布局转换开销，在Llama-3.1 70B等模型上降低step时间最多27.1%，减少SM时间12.5-14.5倍，并大幅降低通信与计算干扰。
