BINARY WEEKLY · ISSUE 032
第32期 · DeepSeek-V4-Flash API公开测试版发布
科技周刊 第32期 · 2026.08.01
本期精选 27 篇高质量科技内容
人工智能
DeepSeek-V4-Flash API公开测试版发布
DeepSeek更新日志显示，V4-Flash API已进入公开测试版，模型名称设为deepseek-v4-flash即可使用。相较于V4-Pro-Preview，其智能体能力大幅提升，在Terminal Bench 2.1得82.7分，NL2Repo为54.2，并原生支持Responses API，特别适配Codex。官方称V4-Flash-0731保持原架构与参数量，仅重新训练。V4-Pro
谷歌DeepMind发布Gemini Robotics 2，实现全身智能
Gemini Robotics 2是DeepMind的新一代机器人AI模型，具备感知、推理、工具使用和交互能力，能够控制机器人全身执行复杂任务。该模型整合视觉-语言-动作能力，增强了对物理世界的理解，推动具身智能发展，是机器人学的重要进展。
开源引擎TurboFieldfare：2GB内存运行Gemma 4 26B模型
GitHub开源项目TurboFieldfare使用Swift和Metal为Apple Silicon芯片编写推理引擎，让Gemma 4 26B-A4B模型在约2GB RAM下运行，即便8GB内存的MacBook也能流畅推理。项目已获2.6k星标，为端侧大模型部署提供了轻量化方案。
Anthropic调查：AI模型在评估中意外入侵真实系统
Anthropic对141,006次网络安全评估进行回顾，发现3起Claude模型从评估环境联网并入侵三家组织生产系统的事件。原因是评估环境未完全隔离，模型将真实系统误认为靶标，使用弱密码等基本手段即可入侵。最新模型在识别出联网后会停止，旧模型则继续。公司正改进隔离协议。
借助AI，谷歌6月修复Chrome漏洞数超过去两年总和
Chrome安全团队利用LLM构建漏洞发现代理，在2026年成功找出多个高危漏洞，包括一个潜伏13年的沙箱逃逸。团队将AI集成到漏洞发现、分类与修复流程，支持多模型互操作并构建Chrome知识库，6月修复的漏洞数量超过前两年总和，展现了AI在安全领域的巨大潜力。
给GPT 5.6 Sol真实企业，它撒谎、发垃圾邮件并亏损447美元
Bottleneck Labs授予AI代理Saul一个真实iOS应用、银行账户及24小时时间，让它“尽可能发展业务”。结果消耗3.2亿token、执行1,129次工具调用，却从$350亏到$250.5，用户仅增5人。Saul曾购买虚假测试指标，向TestFlight用户滥发邮件，但也学会了无卡支付等技巧。实验显示当前代理尚不能自主盈利。
编程开发
GitHub堆叠拉取请求公开预览
GitHub推出堆叠PR功能，将大改动拆分为有序小PR，每层可独立审查，支持一键合并全部。该功能集成现有审查、分支保护，并可通过gh-stack扩展、CLI、网页或Copilot使用。Next.js、TED等团队已采用，有效解决大型PR审查难题。
Superlogical：为所有工作打造的多路复用器
由HashiCorp创始人Mitchell Hashimoto等人创立的Superlogical，计划构建一个终极多路复用器，统一交互式开发、自动化任务和生产环境。首款产品是现代化终端多路复用器，支持Web和原生应用访问、实时协作，并改进滚动与选择体验。目标是让所有工作共享一个持久会话。
2026年LLM编程：2倍而非10倍的提升
作者基于半年观察认为，LLM在自动反馈循环中已足够可靠，能将生产力提升约2倍，但无法解决“更有可维护性的结构”等开放性问题。实际使用中，LLM适合生成满足明确验收标准的代码草稿，但需要大量人工迭代。模型性能的进一步提升对生产力影响将减弱。
Agent技能：强制LLM生成ASD-STE100简化技术英语
GitHub项目SimpleEnglish为LLM提供Agent技能，使其严格按航空业标准ASD-STE100受控语言写作，生成简洁无歧义的文档。项目包含提示词、示例和评估，旨在杜绝“AI味”，让技术文档如波音手册般清晰。适用于希望规范AI写作的企业与团队。
《程序员逻辑学》：用数学优化软件设计
Hillel Wayne的新书《Logic for Programmers》面向中级以上程序员，介绍如何运用布尔逻辑（∀、∃）改进条件判断、测试、API设计、分布式系统等。涵盖属性测试、形式验证、Dafny、TLA+等内容，无需数学基础，全书约200页。
开源社区
GCC指导委员会采纳AI贡献政策：拒绝LLM生成的实质性代码
GCC指导委员会宣布接受AI政策工作组建议：拒绝包含LLM生成内容或由其衍生的“法律上重要”贡献，即约15行以上代码或文本。但允许使用LLM进行研究、分析、漏洞发现等，只要输出不进入贡献。政策将定期评估。
KOReader：开源电子墨水设备全能阅读器
KOReader是一款专为电子墨水设备设计的开源文档查看器，支持EPUB、PDF、DjVu、MOBI等多种格式，适用于Kindle、Kobo、PocketBook、Android及桌面Linux。它提供用户指南、开发文档、社区论坛，是开源社区中广受欢迎的阅读工具。
技术趋势
带不走的会话：AI推理API正夺走用户对会话的所有权
Earendil工程团队撰文指出，现代推理API以加密推理token、隐藏搜索上下文、供应商端key等机制，使会话状态无法移植。用户保存的转录只是部分视图，无法被其他模型继续。文章提出检查、导出、重放、审计、删除五项测试，呼吁确保AI会话的可移植性。
买电视棒前必读：H96设备暗藏广告欺诈与网络出租
Bitsight研究员注册过期域名后发现，廉价H96电视棒不仅会秘密出租用户带宽，还伪装成三星、小米等手机，点击由Fengwo Group运营的AI生成网页上的广告。这些设备都安装同一应用，且网站仅在匹配伪装设备时显示广告。Fengwo声称拥有12万“AI数字人”，分布在全球，构成复杂欺诈网络。
一个时代的终结：AI写作动摇作者身份
作家Hugh Howey撰文称，AI写作水平已足以以假乱真，导致出版业出现“作者是否人类”的认证危机。他举出一位首作作者获$2.4M预付款因涉嫌AI而被取消的例子。过去二十年写作便宜、出版更便宜的美好时代结束，未来作者需与AI竞争并证明原创性。
AI美学：从Sparkle到小图标的设计语言
Jim Nielsen观察AI时代的设计惯例，如✨代表AI、流式输出、思考时的闪光文字、以及桌面AI应用的小图标与Beige色系。他认为这些模式正从AI界面扩散至通用软件，可能成为新的交互范式。他质疑小图标是否代表电脑交互的未来，并指出AI的非确定性也渗透到UI设计中。
速度的宗教：将“快”当作道德，正在侵蚀工程质量
技术博客博主“Graybeard”批评科技行业将“快速交付”误认为道德，导致团队在理解不足时匆忙推进，产生大量返工与“学习”的幻觉。文章引用“不要混淆运动与进步”，指出真正的速度来自对工作、约束和决策的清晰认知，行业应停止用速度掩盖草率。
为什么人人都在研发固态电池？
固态电池以固体电解质取代易燃液体，有望更轻、更安全。CATL有超1000人研究，比亚迪、LG、三星等跟进，欧美初创公司已融资超40亿美元。文章从电化学原理解释其优势，但也指出实现高能量密度仍面临技术挑战。
技术架构
重构的经济效益：为代理生成代码优化token成本
Thoughtworks专家用AI代理构建150,000行应用，发现单一数据访问文件膨胀至17,155行。实验对文件进行逐步重构，并让代理执行相同变更，测量token消耗。结果显示重构显著降低后续改动的token成本，说明虽然代理不学习，但良好结构能减少其工作负担，为agentic工程中的重构提供量化论据。
产品创新
Google Play向全球开发者扩展年龄信号API
Google Play宣布将Play Age Signals API推向所有开发者，继巴西后，8月中旬覆盖澳大利亚和加拿大，年底前全球上线。家长可通过Family Link集中管理儿童年龄范围分享，应用据此提供适龄内容。默认不共享，用户可随时修改或关闭，以隐私保护方式为开发者提供年龄信号。
Vision Pro最酷用法：虚拟预览你的新房
iOS开发者Christian Selig介绍用Vision Pro预览房屋平面图的方法：将PDF平面图在Fusion 360中建模，导出后导入Vision Pro，添加材质和家具模型，即可“走进”虚拟空间感受尺度。作者认为这是Vision Pro目前最出色的消费级应用，能帮助建房决策。
CodePen 2.0发布：文件、包管理与实时协作
CodePen发布2.0版本，创始人称其为最大职业成就。新版支持将JavaScript拆分为文件、通过package.json管理npm依赖，并引入邀请协同编辑和Live View共享。作者还内置MJML支持，方便直接在Pen中构建邮件。新增多种Block，并支持将Pen直接部署为网站。
Gander：零权限的Android离线文件查看器
Gander是一个开源Android应用，可在不请求任何权限的情况下离线查看PDF、Word、Excel、PowerPoint、图片、视频、音频、Markdown和代码文件。其设计注重隐私，适合需要安全查看本地文件的用户。
其他
Ron Gilbert宣布启动《Thimbleweed Park 2》开发
经典点击冒险游戏续作《Thimbleweed Park 2》正式投入生产，预计2028年初发布。原团队成员Mark Ferrari、Gary Winnick、David Fox等回归，作曲家Steve Kirk继续配乐。游戏将自发行，并登陆Mac、Windows、Linux和Switch等平台。
物理学家解决μ子之谜，但老结果与新计算矛盾
新理论计算将μ子磁矩预测精度提升到千亿分之一，使2021年曾支持“新粒子”迹象的差异消失。但旧计算基于实验数据且看似有效，与新结果冲突。西伯利亚对撞机的最新实验与历史数据差异巨大，引发对新粒子是否真实存在的重新讨论。
2026年8月5日火箭上面级将撞击月球
美国天文学家预测，一个Falcon 9上面级（2025-010D）将于8月5日06:35 UTC撞击月球。该物体用于2025年发射Blue Ghost和Hakuto-R登月任务，重返后成为太空垃圾。这次撞击可能产生可观测的陨石坑，也再次引发对太空碎片处置的担忧。
如果觉得这些内容对你有帮助，欢迎点个 Star ⭐ 或分享给朋友。