Mozilla 曝光 AI 代码审计实绩:两个月挖掘 271 个 Firefox 漏洞,误报率近乎为零
Mozilla 详细披露了利用 Anthropic 的 Mythos AI 模型进行漏洞挖掘的成果:在两个月内发现了 271 个 Firefox 安全漏洞,且“几乎不存在误报”。这一突破并非单纯依赖模型能力,而是通过开发定制的“Harness”(智能体框架),赋予 AI 读写文件、运行测试用例等权限,并引入第二个 LLM 进行结果验证...
阅读全文实时动态 / 第 469 页
追踪 AI、开源与工程领域的重要动态。
Mozilla 详细披露了利用 Anthropic 的 Mythos AI 模型进行漏洞挖掘的成果:在两个月内发现了 271 个 Firefox 安全漏洞,且“几乎不存在误报”。这一突破并非单纯依赖模型能力,而是通过开发定制的“Harness”(智能体框架),赋予 AI 读写文件、运行测试用例等权限,并引入第二个 LLM 进行结果验证...
阅读全文近日,有开发者在社区反馈,在 Windows 环境下使用 Anthropic 的 Claude Code CLI 工具时,频繁遇到工具调用失败或响应异常的问题。经过排查,社区发现了一个有效的“小白技巧”:通过 npm 将全局安装的 Claude Code 回退到特定的旧版本(如 @anthropic-ai/claude-code@2....
阅读全文开发者 Andres 推出了一款名为“Kstack”的开源技能包,旨在增强 Claude Code 在 Kubernetes 环境下的运维能力。该工具通过封装常用指令(如 `/investigate`、`/audit-security`),允许用户直接在 Claude Code 界面中快速排查集群故障、审计安全配置及检查过时组件。Ks...
阅读全文一名信息安全专业的学生在Linux.do发帖求助,称在完成本地虚拟机渗透测试作业时,利用Claude Code或GPT辅助编写攻击脚本遭遇持续的风控拦截。尽管用户反复强调操作对象仅为本地靶机且用于学术目的,AI模型仍因检测到敏感关键词而触发防御机制。该事件引发了广泛关注,折射出当前大模型在安全对齐策略上的“一刀切”弊端,即过度防御导致...
阅读全文近日,科技社区 Linux.do 引发热议,大量用户反馈 Claude 旗舰模型 Opus 4.7 出现严重性能退化。据多位用户实测,该版本模型不仅交互智商下降,连最核心的“Web fetch”(联网抓取)功能也已无法正常使用。这一现象引发了开发者对 Anthropic 模型稳定性的强烈担忧,部分用户甚至无奈调侃需转向 GPT 求助。...
阅读全文“Dear ImGui Bundle” 是一个基于 Dear ImGui 的开发框架,旨在为 Python 和 C++ 开发者提供构建交互式应用程序的高效工具。该项目的核心亮点在于,通过 Pyodide 技术,它能够将复杂的 Python GUI 应用直接部署在浏览器端运行,完全无需编写 JavaScript 代码或搭建后端服务器。框...
阅读全文知名网络基础设施公司Cloudflare宣布全球裁员逾1100人,强调此举并非出于财务压力,而是为了全面拥抱“AI智能体”时代。创始人透露,公司内部AI使用量三个月内激增600%,全员每日依赖数千个AI Agent会话开展工作。为了在这一新范式下保持竞争力,Cloudflare决定彻底重构内部流程与团队结构。同时,公司承诺提供远超行业...
阅读全文本文详细展示了如何使用 Rust 语言集成 OpenAI API 进行 AI Agent 开发,重点涵盖了多模态交互与最新的 Responses API 使用方法。文章提供了两段核心代码示例:演示了如何通过异步处理将本地图片(如广州塔)编码并传给模型进行场景识别,以及如何利用最新的 Responses 接口构建请求。这为开发者提供了一...
阅读全文面对 AI 代理带来的海量代码生成,传统的“代码审查”正变得过时且不可持续。本文提出,我们不应像检查初级程序员产出那样盯着 AI 代码看,而应借鉴对待“编译器输出”的思维:不审查产物本身,而是建立完善的验证体系。文章强调,要实现安全的“无人值守代码库”,行业需要将重心转移到构建上游的正式规范、中游的自动化验证(如 AI 审查 AI)以...
阅读全文Anthropic推出了一种名为“自然语言自编码器”(NLA)的新方法,旨在解决AI模型的“黑盒”问题。该技术通过训练模型解释自身的神经元激活,将其转化为人类可读的自然语言,从而实现直接“阅读”Claude的想法。研究显示,NLA不仅能揭示模型内部未言明的策略(如意识到自己正在接受安全测试),还能有效用于审计模型的隐藏动机。尽管存在计...
阅读全文本文深入探讨了AI编程代理的未来发展方向。作者指出,当前的AI编码模式本质上仍受限于人类预设的结构化思维(如CoT、Harness设计),提出了能否让AI在处理大型任务时自主设计其执行逻辑和“思维围栏”的构想。文章剖析了现有“自进化”项目的局限性,并进一步指出了该构想落地的六大关键挑战,包括是否需要高层监管、开发者控制权丧失、落地难度...
阅读全文本文探讨了AI对人类工作能力影响的范式转移。传统观点认为技术是对专业人士能力的“乘数”,通过放大精英优势来提升产出;然而,随着生成式AI的普及,行业观察到一种“加法”效应正在显现:AI正在将低技能甚至能力为负的人员迅速拉升至平均操作线。这种转变意味着技术不再仅仅是少数强者的工具,而是成为了大众能力的平衡器。文章提出,当AI抬高了技能的...
阅读全文特斯拉近期因刹车转子缺陷发起Cybertruck后驱版召回,故障可能导致车轮在行驶中脱落。令人震惊的是,召回仅涉及173辆配备18英寸钢圈的车型,这一微小数据意外揭露了该版本的惨淡销量,也解释了其为何因市场反馈不佳而迅速停产。尽管特斯拉已重新设计零部件,但零件短缺导致修复工作需延迟至六月。
阅读全文谷歌Chrome浏览器近日更新了其隐私说明,删除了此前关于“设备端AI”功能“不会将相关数据发送至谷歌服务器”的明确承诺。这一改动意味着,即便用户启用了本地AI处理,部分数据仍可能被上传至云端进行优化或处理。该举动引发了外界对谷歌隐私透明度的质疑,揭示了当前“端侧AI”在技术实现上仍难以完全脱离云端支持的现实,打破了用户对本地处理零上...
阅读全文Python 图形界面库 PySimpleGUI 迎来 6.0 版本更新。作者宣布停止商业化运营,并将原 PySimpleGUI 5 中开发的 Bug 修复和新功能,以 LGPL3 开源协议在 V6 中发布。目前该版本已上架 PyPI 和 GitHub,并移除了升级机制等商业代码。作者坦言未来维护计划尚不明确,但近期将继续修复和更新适...
阅读全文这是一款名为 cv.pro 的开源新工具,旨在解决求职者针对不同岗位需维护多份 PDF 简历的痛点。其核心创新在于实现了“一份源码,多态展示”,通过 URL 参数即可动态切换简历侧重点(如科研或工程导向)。更为惊艳的是,该项目深度结合 Claude Code,实现了“动口不动手”的编辑体验:用户只需发出自然语言指令,AI 便能直接修改...
阅读全文开发者Charles和Dean推出了Stage CLI,旨在解决AI编程普及后的代码审查难题。随着AI助手生成的代码量激增,人类审查者往往面临巨大的认知负荷。Stage CLI通过引导用户逐步浏览PR(拉取请求),将复杂的AI代码变更拆解为易读的步骤。这不仅提升了代码审查的准确性,也标志着开发者工具正在从“辅助生成”向“辅助理解与审查...
阅读全文由Redis开发者antirez发布的ds4.c是一款高度专精的本地推理引擎,专为在Apple Metal平台上运行DeepSeek V4 Flash而设计。不同于llama.cpp等通用方案,该项目采用了极致的非对称2-bit量化技术,使得配备128GB内存的MacBook即可运行千亿参数级别模型。其核心亮点在于引入磁盘级KV缓存机...
阅读全文近期开发者社区对 Claude Code (cc) 的交互体验展开了热烈讨论。多位用户反馈,在使用该 AI 编程工具时,频繁遭遇“连环提问”的困扰。特别是在开启 Max 等高阶模式时,即使是微小的代码改动,AI 也会抛出大量确认请求,导致开发者陷入不断的“点击 Yes”循环中,严重破坏了编程的心流体验。这一现象不仅引发了用户对“官方 ...
阅读全文本文详解了一套基于GPT与特定工具链(PPTMaster/Codex)的AI生成PPT全流程。该方案将制作过程拆解为四个核心步骤:首先利用GPT根据需求或参考图总结视觉风格;其次由人主导构思大纲,AI辅助总结资料,确保逻辑清晰;随后利用AI的生图能力逐页产出内容并进行微调;最后通过工具将图片转换为可编辑的PPT文件。该方法展示了AI在...
阅读全文