Anthropic称Claude Fable 5.1在科学基准测试中得分52.6%,远超旧版24.7%。但作者以普通用户条件自测五个任务,得分仅0%和20%,远低于官方数据。新版虽更快更省钱,日常使用中两版差异不大,官方高分依赖专用环境和充足预算。
GLM-5.3-Flash是Z.AI推出的低成本模型,价格约为旗舰版GLM-5.3的1/16。测试显示两者在编码、逻辑和提取任务中均得满分,准确性无差异,但Flash在困难任务中消耗更多token和时间,其成本优势依赖当前定价,可能变化。建议Flash适合简单任务,复杂任务需权衡时间与成本。
在代理开发中,详细规格并非过时,而是关键。代码成本降低后,难点在于定义“正确”并可靠验证。零规格或过度规格均非最优,应根据任务类型调整:确定性任务需更多可执行契约,探索性任务则侧重边界。多代理系统需强接口契约,规格需定期精简,API设计可辅助。验证规格优先于扩展实现,敏捷与XP的反馈逻辑仍适用。
模块笔集多支笔芯于一身,适合书写量少的成年人。选购时关注替芯支持与油墨质量。国产笔性价比高,凌美设计优雅,百乐Coleto替芯丰富,派通中油笔写感好,三菱Jetstream经典。替芯规格分ISO D1和日标,平替需注意尺寸。入门推荐百乐Coleto或三菱Jetstream。
谷歌Pixel 11 Pro Fold与三星Galaxy Z Fold 8对比,前者采用护照式宽屏设计,升级Tensor G6芯片、25W无线充电及HiLight功能,重量更轻(239克),IP68防水,起售价1899美元;后者更轻(201克),支持8K视频,起售价1899.99美元。
Pixel 11系列规格与价格泄露,基础款涨价100美元至899美元,存储增至256GB,但全系RAM降至12GB。Pro版价格分别升至1099美元和1299美元,基础款取消长焦镜头,Pro版相机不变,折叠屏版售价1899美元。
OpenSpec 是一个开源规格驱动开发框架,旨在解决AI编程中的需求对齐问题。它通过Markdown规格文档和变更文件建立“同意层”,让AI先规划再写代码。核心工作流包括探索、提议、实施和归档,支持30多种AI工具,特别适合存量项目,通过增量描述降低引入成本。
规格驱动开发常因规格文档与代码不同步而失败,文档沦为摆设,本质是制造双重事实源,代码才是最终真相。规格适合定方向而非细节,应作为一次性沟通工具,用后即弃。RPI模式(调研、规划、实现)强调每次开发重新对齐,以代码和提交记录为准,避免维护过时文档。
xAI发布Grok 4.5,宣称在编码任务上以约四分之一token数匹配Claude Opus 4.8,价格更低。测试显示两者代码结果几乎相同,但Grok用23%的token、三分之一时间完成,成本仅约2美元,而Opus需5.14美元。尽管Opus在文档上更细致,Grok在效率和成本上优势明显,适合关注token消耗的开发者。
OpenSpec 是一个开源的规格驱动开发框架,旨在提升 AI 编程助手的效率。它通过将需求转化为可版本化的规格,帮助开发团队管理功能变更、修复和重构。OpenSpec 主要管理规格和变更,支持在 IDE 和 CLI 中使用。其核心设计是 delta spec,描述系统规格的变化,从而减少开发过程中的歧义,提高代码质量和维护性。
规格驱动开发(SDD)是通过定义规格来指导代码开发的过程,确保代码符合预期。文章介绍了三种主要工具:OpenSpec(适合存量项目)、Spec-Kit(适合大型团队,强调治理和合规性)和AWS Kiro(集成IDE,提供多种工作流)。SDD的核心原则包括规格先行、活文档、适中粒度和可验证性。
三星新发布的Galaxy A27售价349.99美元,比去年的A26贵50美元。尽管价格上涨,A27在自拍和超广角摄像头分辨率及防水等级上有所降低,唯一的升级是更换为高通Snapdragon 6 Gen 3芯片。该手机将于7月14日在美国上市,国际市场提供蓝色和粉色版本。
谷歌已停用Gemini CLI,推出新工具Antigravity CLI。Antigravity在速度和一致性上表现更好,能够执行文件写入和命令运行,且在处理复杂任务时更为可靠。与Gemini相比,Antigravity在高需求时表现稳定,整体上是更优秀的工具。
Snap的新智能眼镜以2195美元的高价展现了面部计算技术的创新,尽管功能丰富,但重量和外观可能影响用户佩戴意愿。节目讨论了眼镜的舒适度、续航能力及Snap在增强现实领域的领先地位。
Anthropic发布了新模型Fable 5,声称其能力超越Opus 4.8。尽管Fable 5在分析和历史诊断上更为精准,但在编码任务中,Opus以更低成本提供了相似的结果。Fable 5的安全分类器存在问题,导致部分工作由Opus完成。总体来看,Fable 5与Opus的差距并不如预期大。
梅赛德斯-奔驰推出了CLA电动轿车,售价在48,500至51,850美元之间,配备85 kWh电池和320 kW充电能力。CLA250 Plus和CLA350 4Matic车型的续航分别为374和312英里,驾驶体验舒适,内饰科技感十足,适合日常通勤和长途旅行。
DJI即将推出两款入门级无人机Lito 1和Lito X1,价格分别为约400美元和500美元。Lito 1配备48MP相机,最大飞行距离20公里,飞行时间36分钟;Lito X1则配备1/1.3英寸传感器,最大飞行距离21公里,并具备激光雷达系统。两款无人机均无需注册。
Rivian公布了R2电动SUV的定价和规格。首款Performance版本定价为$59,485,预计2026年春季交付。基础款售价$45,000,预计2027年推出。R2具备656马力和330英里续航,配备多种驾驶模式和先进技术。Rivian预计到2026年底交付2万至2.5万辆R2。
本文探讨了大语言模型代码生成中的规格对齐问题,提出了Specine技术,通过识别错位规格、提取需求和对齐规则,提升代码生成性能近30%。研究强调了清晰需求表述和逐步对齐的重要性。
Steam最近的客户端测试版更新允许用户在游戏评论中自动附加硬件规格,增强评论的参考价值。用户在发布负面评论时,硬件信息有助于识别性能问题是否由设备引起。此外,更新还引入了共享匿名帧率数据的选项,以监测游戏兼容性。
完成下面两步后,将自动完成登录并继续当前操作。