跳到正文
7月19日周日
  1. Simon Willison 博客52

    SQLite Query Explainer:交互式查询计划解读工具

    Julia Evans 基于 Fable 构建了 SQLite Query Explainer,一个在浏览器中通过 Pyodide 运行 SQLite 的交互式工具。该工具为 EXPLAIN 和 EXPLAIN QUERY PLAN 的结果添加了可读的解释层,帮助用户理解查询计划。作者提醒需谨慎使用,因其自身无法完全验证解释的准确性。

7月18日周六
  1. IT之家·人工智能42

    谷歌 DeepMind CEO 哈萨比斯:AI 不会令 STEM 学位失去价值

    谷歌 DeepMind CEO 德米斯·哈萨比斯表示,AI 虽在重塑科技行业,但 STEM 学位不会因此失去价值。他认为掌握软件和计算机科学基础知识能帮助人们更有效使用 AI,深入理解技术的人使用 AI 工具的效率可能达到缺乏基础者的 10 倍。哈萨比斯同时指出,AI 时代也需要伦理学、社会科学等人文学科。

  2. GitHub Blog51

    AI 时代“小需求”的成本逻辑变了:GitHub 博客谈工程决策新范式

    工程师对小型功能请求的决策成本已超过代码实现成本。AI 智能体可在会议预热时间内生成首个补丁,将抽象的“是否在范围内”争论转化为可审查的具体产物。关键区分在于:代码生成便宜不等于维护便宜,只有人类能自信审查并承担长期责任的变更才算低成本。

  3. Claude:Blog64

    Cursor 评估负责人确认 Claude Fable 5 在 CursorBench 达 72.9% 新高

    Cursor 的模型评估负责人 Nate Schmidt 发现,Claude Fable 5 在其内部基准 CursorBench 上以 Max effort 模式达到 72.9%,创下新高。该模型在模糊的真实编程任务中表现出全局推理能力,例如在航天模拟器中仅凭一句提示自主规划并成功登月,而此前 Claude Opus 运行 12 小时以上仍无结果。

    推荐理由:Cursor 工程师用自家基准和太空模拟器实打实测试了 Claude Fable 5,从全局推理到自主规划路径的能力跃迁很具体,做编码 agent 的可以看看这个‘p99 问题’解法。

7月17日周五
  1. The Decoder:AI News60

    Linus Torvalds 力挺 AI 工具:Linux 内核不是反 AI 项目,反对者可 fork 离开

    Linux 创始人 Linus Torvalds 在邮件列表中公开支持在内核开发中使用 AI 工具,强调“Linux 不是反 AI 项目”,并称将作为顶级维护者坚持这一立场,反对者可以 fork 或离开。争议源于 Linux 基金会推出的 AI 代码审查系统 Sashiko,它通过定制提示词自动审查内核补丁。Torvalds 表示内核项目决策基于技术价值,而非对新工具的恐惧。

  2. 公众号:通义实验室74

    首届“小有可为”大赛乡村教育一等奖作品“智绘科普”技术拆解

    首届“小有可为”大赛乡村教育赛道一等奖作品“智绘科普”采用 Qwen3.5-397B-A17B 大语言模型与 Manim 动画引擎,通过多Agent分阶段协作与自动修复机制,将知识主题转化为可控、可编辑的教学动画。系统包含规划、草稿、实现、审查、合成五个阶段,渲染失败时可自动提取日志并修复,该工程范式可迁移至其他赛道。

    推荐理由:这是官方出品的实战教程,拆解了一套多Agent协作+门控+自修复的工程流水线,技术思路通用,做AI应用的可以直接抄作业。

  3. Elon Musk40

    xAI 发布 Grok Build v0.2.102 更新,新增 `/jump` 命令和 `/timeline` 侧边栏,支持快速跳转至任意历史对话轮次。企业部署可通过远程配置设置权限模式,并支持通过 `requirements.toml` 禁用语音听写。此外,本地会话现在继承 shell 环境变量并保持当前目录,`!bash` 模式下的 Tab 补全功能也得到改进。

    引用X Freeze@XFreeze

    Grok Build just received another major update, introducing powerful conversation navigation, enhanced enterprise controls, smarter terminal workflows, and extensive reliability improvements Release Notes: v0.2.102 — 2026-07-16 Breaking Changes: • --minimal and --fullscreen flags now apply only to the current session. Features: • New /jump slash command lets you quickly jump to any previous turn in the conversation. • New /timeline sidebar shows a clickable tick rail for fast navigation between conversation turns. • grok login now requests Grok Projects scopes so workspace listing works after consent. • Permission mode can now be set fleet-wide via remote config when no local setting exists. • Edit tool output has a setting to show a compact one-line summary instead of always-expanded diffs. • Tab completion in !bash mode now works like a normal terminal (prefix fill, dropdown, directory drill-down). • Enterprise deployments can now disable voice dictation via requirements.toml so /voice and Ctrl+Space are hidden for everyone. • User prompts now appear bold only in --minimal mode; fullscreen keeps normal weight. • grok plugin install now accepts a marketplace's registered name as a qualifier. • Consecutive edits to the same file now collapse into a single scrollback row when collapsed edit blocks are enabled. • Local sessions now inherit your shell environment variables and keep the current directory across commands. Bug Fixes: • Login and re-login no longer stack multiple device-code polls or leave stale flows running. • Background task tools now render with correct icons and titles instead of the generic MCP wrench. • Task tool now correctly validates and displays allowed model slugs for subagents. • Rewind now correctly handles bash transcripts, permission follow-ups, and sessions that mix old and new prompt markers. • Re-login during a session now immediately uses the new token instead of requiring a new session. • Terminal commands using globs now behave the same on zsh as on bash and no longer fail with shell errors. • Installer no longer replaces stowed shell configuration symlinks with plain files on upgrade. • Voice transcription now works with enterprise API bases and API-key authentication. • Fixed crashes on some network-mounted home directories by using a safer SQLite journal mode. • Home and End keys now move to the ends of the current wrapped line in the prompt. • Arrow keys and Esc now work correctly inside viewers opened from the dashboard. • Warns at startup when user and project sandbox profiles define the same name differently. • Billing upgrade links now show the full URL in the transcript (and copy it) when a browser cannot be opened. • Fixed Ctrl+Y yank no longer working after sending a prompt. • No longer shows permission prompts seconds after a turn was cancelled with Esc or Ctrl+C. • Page Up and Page Down now move the highlighted entry to the top or bottom of the visible scrollback area. • Conflicting project and user sandbox profiles now show a clear warning on the welcome screen. • OAuth login URLs no longer contain duplicate referrer parameters. • File links in official VS Code Remote-SSH terminals now use VS Code's native path handling. • Minimal mode now shows the folder-trust prompt after sign-in when required. • Skills whose names collide with built-in slash commands are now reachable via qualified names. • Fixed background task tracking when using grok -p --no-wait-for-background so tasks are properly reaped on exit. • Rate limit errors (429) now show specific server messages (capacity, team limits, free-usage) instead of generic upgrade prompts, with correct copy based on auth type. • /copy slash command is now available in minimal mode. Performance: • Improved recap and compaction behavior.

  4. Elon Musk46

    Elon Musk 发推“Try Grok”并引用第三方测试,对比 Grok 4.5、Kimi K3、GPT 5.6 Sol 和 Fable 5 在 Three.js 代码生成上的表现。

    引用thehype.@thehypedotnews

    kimi k3 vs gpt 5.6 sol vs fable 5 vs grok 4.5 @Kimi_Moonshot just dropped kimi k3 – a 2.8t param native multimodal model, the first open 3t-class release. key facts: • 1m token context. stable latentmoe activating 16 of 896 experts, built on kimi delta attention (kda) and attention residuals • quantization-aware training from the sft stage onward – mxfp4 weights, mxfp8 activations. moonshot claims ~2.5x scaling efficiency over k2 • max thinking effort by default. low- and high-effort modes are "coming in updates" – there is no way to turn the thinking down today, and you feel it in every run • pricing: $0.30/mtok cache-hit input, $3.00/mtok cache-miss, $15.00/mtok output. claims >90% cache hit rate on coding workloads • benchmarks: swe marathon 42.0 (1st – fable 5: 35.0, sol: 39.0, opus 4.8: 40.0), terminal bench 2.1 88.3, browsecomp 91.2 (1st), program bench 77.8 (1st), gpqa-diamond 93.5. loses frontierswe 81.2 vs fable's 86.6, and deepswe 67.5 vs sol's 73.0 our test – 3 prompts, single-file html, @threejs, fully procedural, no assets: 1. photorealistic european roulette wheel – 37 pockets in the real sequence, mahogany clearcoat bowl, chrome turret, diamond deflectors, flick-to-spin, ball that spirals inward and settles on a mathematically real number 2. las vegas slot machine – 3 reels behind transmissive glass, drag the chrome lever to play, mechanical odometer counters modelled in 3d, coin physics on win 3. full pinball table – 6.5° tilted playfield, flipper impulse physics, spline ramps, drop targets, 6 bumpers, mechanical score reels in the backbox we ran the test on @aimlapi platform results: - cost #1 grok 4.5 – $0.30 #2 kimi k3 – $0.71 #3 gpt 5.6 sol – $2.05 #4 fable 5 – $7.69 - tokens #1 grok 4.5 – 34,241 #2 gpt 5.6 sol – 51,748 #3 fable 5 – 144,126 #4 kimi k3 – 157,999 - lines of code #1 gpt 5.6 sol – 3,054 #2 grok 4.5 – 3,047 #3 kimi k3 – 2,255 #4 fable 5 – 1,950 - generation time #1 grok 4.5 – 5.1 min #2 gpt 5.6 sol – 22.0 min #3 fable 5 – 31.5 min #4 kimi k3 – 75.6 min observations: • kimi k3 is cheap and it is slow. 75.6 minutes across three prompts against grok's 5.1. it is 2.4x grok's price and 15x grok's wall clock. the roulette took 15 min, the slot 18, the pinball 42 • it failed 2 of 3. only the roulette works. the slot machine has reel cutouts on both faces of the cabinet and the symbols face backwards – you can only read your spin by walking around to the rear of the machine. the pinball table stands vertically on its edge with the legs floating detached beside it. • 81% of kimi's output tokens are reasoning, not code. grok: 22%. you are not paying for a bigger answer, you are paying for a longer argument with itself • price per 100 shipped lines – grok $0.010, kimi $0.031, sol $0.067, fable $0.394. a 39x spread for the same three files kimi k3's code quality: upsides: • the roulette is genuinely good – procedural wood grain with real specular breakup, correct european sequence (0-32-15-19-4...), chrome turret, diamond deflectors, clean console • the pinball artwork is the best in the test – a synthwave "nova strike / deep space" field with six individually coloured neon bumper rings, a retro sun on a grid horizon, a nova burst, and a scoring legend printed on the apron. no other model printed the rules on the machine. it is a beautiful texture on a broken object • physics reasoning is real – it derived a 480hz substep for the collider, worked out ball settle conditions and termination guarantees, and checked every ramp exit vector by hand before writing any of it • it is the only model that saw the importmap trap coming. sol shipped a blank white page twice because three.js addons import the bare specifier 'three' and die without an import map downsides: • it dodged that trap on the slot by loading three.js r128 through classic script tags – a 2021 build with no working transmission. its slot glass rendered fully opaque and buried all three reels behind a white pane. the code asks for transmission: 0.93, ior: 1.5 – correct, and silently ignored by a renderer that predates the feature • after 42 minutes and 212k characters of reasoning, the pinball cabinet is not assembled. the table stands vertically on its edge like a wardrobe – the prompt asked for 6.5° from horizontal, it delivered 90°. the legs float detached in the void beside it. head-on it photographs beautifully; orbit ten degrees and it is a painted slab with four chrome rods hovering nearby • the playfield z-fights with the glass – hard black banding across the whole field as soon as you pull the camera back a note on the pinball, in fairness to kimi: nobody passed it. every model shipped broken ball physics and controls you cannot trust. it is the hardest prompt we have run and the whole field failed it, each in its own way kimi k3 reasons better than anything else here and it shows exactly where reasoning pays – physics constants, sequences, edge cases, traps the others walked into follow @thehypedotnews for 24/7 ai news, analysis and breakdowns

  5. Rohan Paul43

    Kimi K3在Frontend Code Arena中以1679分超越Claude Fable 5登顶第一,较前代Kimi K2.6跃升17位。其定价为$3/$15(输入/输出每百万token),仅为Fable 5($10/$50)和GPT-5.6 Sol($5/$30)的约三分之一。完整模型权重将于7月27日前开源。

    引用Arena.ai@arena

    Big news: Kimi-K3 by @Kimi_Moonshot is now #1 in the Frontend Code Arena with 1679 pts, surpassing Claude Fable 5. This is a 17-place jump from Kimi-k2.6 (#18 -> #1). In Frontend, Kimi-K3 ranked #1 in 6 of 7 domains: Brand & Marketing, Reference-Based Design, Data & Analytics, Consumer Product, Simulations, and Content Creation Tools, landing #2 only in Gaming behind Fable 5. The full model weights will be released by July 27. Congrats to the @Kimi_Moonshot team on this major milestone!

  6. 公众号:月之暗面83

    Kimi K3:智能的新前沿

    月之暗面推出迄今能力最强的开源模型 Kimi K3,拥有 2.8 万亿参数、100 万 token 上下文窗口,基于 KDA 混合线性注意力机制构建,原生支持视觉理解。它在长程编程、知识工作等场景表现前沿,但整体仍落后于 Claude Fable 5 和 GPT-5.6 Sol。即日起可通过 kimi.com 等渠道使用,完整权重将于 2026 年 7 月 27 日前发布。

    推荐理由:K3 把 2.8 万亿参数开源,并展示了从内核优化到芯片设计的连贯长程能力,为评估开源模型在复杂工程任务中的实际上限提供了参照。

  7. IT之家·人工智能40

    LM Studio Bionic 智能体工具上线:可调用 GLM 5.2 等开源模型进行 AI 编程

    LM Studio 发布 Bionic,一款面向开源模型的 AI 智能体工具,可处理编程、研究及复杂文档工作。除调用本地端侧模型外,Bionic 还能通过 LM Studio Secure Cloud 云端调用 GLM 5.2、Kimi K2.6、Qwen 3.6 27B 及 Gemma 4 12B 等更强模型,云端请求遵循“零数据保留”政策。该工具还内置跨应用语音键盘,转录在设备本地完成。

  8. Claude Code:GitHub Releases50

    Claude Code v2.1.212 发布

    Claude Code v2.1.212 新增 `/fork` 命令,可将当前对话复制到新后台会话中独立运行。新增会话级 WebSearch 调用上限(默认 200)和子智能体生成上限(默认 200),防止失控循环。MCP 工具调用超过 2 分钟自动移至后台,并修复了计划模式自动执行文件修改命令等多项问题。

  9. IT之家·人工智能79

    Kimi 最强模型 K3 发布,Frontend Code Arena 跑分登顶

    月之暗面推出迄今最强模型 Kimi K3,拥有 2.8 万亿参数和 100 万 Tokens 上下文窗口。该模型在 Frontend Code Arena 中以 1679 分超越 Claude Fable 5 位居第一,在 7 个前端领域中的 6 个排名 #1。API 定价为每 100 万 Tokens 输入 2 元(缓存命中)或 20 元(缓存未命中),输出 100 元。

    推荐理由:Kimi K3 的 2.8T 参数和 100 万上下文不是数字游戏,前端跑分实打实地压过 Claude Fable 5,七个子领域拿六个第一,这对做前端和长文档处理的人是个明确信号,可以下场试了。

  10. IT之家·人工智能49

    谷歌 NotebookLM 更名 Gemini Notebook,原生支持代码编写与执行

    谷歌将 AI 笔记助理 NotebookLM 更名为 Gemini Notebook,实现品牌统一。新版本为笔记本提供安全云计算机支持,原生支持代码编写与执行,可基于数据源进行复杂数据分析。该更新已面向 Google AI Ultra 用户及部分 Workspace 企业客户开放,未来几周将陆续推送给所有网页版 Pro 用户。

  11. Apple Machine Learning Research43

    Apple 研究:Embarrassingly Simple Self-Distillation 提升代码生成能力

    Apple 机器学习研究提出一种极简的自我知识蒸馏方法,让大语言模型仅使用自身原始输出即可提升代码生成能力,无需验证器、教师模型或额外数据。该方法在多个代码生成基准上取得显著改进,且计算成本极低。研究展示了自我蒸馏在代码任务中的有效性,为模型自我改进提供了新思路。

  12. Google Developers Blog56

    Conductor 从 Gemini CLI 扩展进化为便携插件,支持 Antigravity 与 Claude 生态

    Conductor 从 Gemini CLI 扩展升级为便携插件,将对话式 Spec-Driven Development(SDD)引入 Antigravity CLI 和 Claude 等生态。开发者可通过自然对话与 AI 助手交互,由后者在后台动态管理 spec.md 和 plan.md 等持久化 markdown 制品,消除工作流摩擦的同时确保仓库作为项目架构与状态的版本控制单一事实源。

  13. Kimi.ai51

    Kimi-K3 在 Frontend Code Arena 中以 1679 分排名第一,超越 Claude Fable 5,较前代 Kimi-k2.6 跃升 17 位。该模型在品牌营销、数据与分析等 6 个领域均获第一,仅游戏领域排名第二。完整模型权重将于 7 月 27 日前开源。

    引用Arena.ai@arena

    Big news: Kimi-K3 by @Kimi_Moonshot is now #1 in the Frontend Code Arena with 1679 pts, surpassing Claude Fable 5. This is a 17-place jump from Kimi-k2.6 (#18 -> #1). In Frontend, Kimi-K3 ranked #1 in 6 of 7 domains: Brand & Marketing, Reference-Based Design, Data & Analytics, Consumer Product, Simulations, and Content Creation Tools, landing #2 only in Gaming behind Fable 5. The full model weights will be released by July 27. Congrats to the @Kimi_Moonshot team on this major milestone!

  14. Moonshot AI:Kimi Blog81

    Kimi K3 发布:2.8T 参数开源模型,具备原生视觉与百万 token 上下文窗口

    月之暗面发布 Kimi K3,一个 2.8T 参数的开源模型,采用 Kimi Delta Attention 和 Attention Residuals 架构,支持原生视觉能力与 100 万 token 上下文窗口。

    推荐理由:首个开源 3T 级模型,架构上有 KDA 和 AttnRes 创新,在超长程编码和知识工作上比肩闭源。权重两周后放出,所有做 agent 的都该盯紧。

  15. Claude:Blog65

    Anthropic 用 Claude Code 大规模迁移代码:Bun 百万行 Zig 转 Rust,两周完成

    Anthropic 工程师用 Claude Code 在两周内将 Bun 的百万行 Zig 代码迁移至 Rust,100% 现有测试通过,合并后出现 19 个回归问题已全部修复。另一工程师用周末将 Python 代码库迁移至 16.5 万行 TypeScript。迁移消耗约 16.5 万美元 API 成本,但编译时间从八分钟降至两秒,二进制启动快 6 倍。

    推荐理由:Anthropic 用自家 Claude Code 把百万行 Zig 代码迁到 Rust,两周搞定,这不仅是案例展示,更是开发者如何用 AI 重构代码库的实操指南,尤其适合那些被遗留代码拖累的团队。

  16. Replit:Blog65

    Replit 提出“自动驾驶公司”:智能体融入全公司后代码产出提升 2.9 倍

    Replit 发文称其内部智能体系统已覆盖全公司职能,从 1 月初到 6 月底代码贡献行数增长 5.8 倍,剔除招聘效应后固定作者群体为 2.9 倍,同时 PR reversion 率与事故量保持平稳。

    推荐理由:Replit 以自身工程、销售、支持团队的一手数据,展示智能体全面融入公司运营后的产出与质量变化,可用于对照组织落地的路径。

7月16日周四
  1. The Decoder:AI News53

    xAI 因数据泄露丑闻在 GitHub 开源 Grok Build

    xAI 的 AI 编程智能体 Grok Build 因被曝上传用户 SSH 密钥等全部文件至其 Google Cloud 服务器而引发争议。Elon Musk 随后宣布彻底删除已上传数据,xAI 禁用上传功能并在 GitHub 以 Apache 2.0 许可证开源完整源代码,代码库约 844530 行 Rust,支持完全本地运行。