开发工具资讯 第13页
聚合当前分类下的最新内容，按时间顺序查看第 13 页精选文章。
BBEdit 16 发布：升级价值在工作流补强，不在单个新功能
Bare Bones Software 发布 BBEdit 16，官方称包含超过百项新增、调整和优化，并给出既有用户升级规则。 这次最值得看的不是某个炫技功能，而是 Shortcuts 自动化、图片文字搜索、项目配色，以及 Git、SFTP、HTML5 检查等专业工作流补强。 BBEdit 15 新近购买用户可能免费升级；老用户是否付费，主要看自己是否高频依赖多文件搜索、grep、SFTP、Git 和自动化。
Google Antigravity 争议：自动更新不该把开发者的 IDE 换成聊天框
一名开发者称，Google I/O 2026 后，自己日常使用的 Antigravity IDE 被自动更新成 2.0 聊天式界面，原工作流、设置和聊天历史受到影响。真正的争议不在新版是否好用，而在开发工具能不能绕过用户控制权，直接替换生产入口。对依赖 AI 编程工具的个人和团队，最现实的动作是先检查自动更新、回滚、并存安装和数据导出机制。
Python 3.15 功能冻结：这些小改动，先影响写库和写后端的人
Python 3.15.0b1 已进入功能冻结，正式版预计年内发布；lazy imports、Tachyon profiler 更抢眼，但一批小功能更贴近日常工程摩擦。TaskGroup.cancel、ContextDecorator 扩展、线程安全迭代器工具和 JSON array_hook，主要是在补控制流、并发同步和不可变数据处理的缺口。我的判断是：它们不是 Python 3.15 的头部叙事，但写 asyncio、基础库和配置解析的人，应该提前看一眼迁移成本。
RMUX v0.2.0：别急着替代 tmux，先看它怎么把终端交给 Agent
Helvesec 在 2026 年 5 月 18 日发布 RMUX v0.2.0：Rust 重写的类 tmux 终端复用器，已实现 90 个 tmux-compatible commands，但官方明确称仍是 fresh public preview，预计会有 bug。它最值得看的不是“又一个 tmux”，而是 typed SDK、pane snapshot、wait_for_text / send_text，把终端会话变成 agent 和自动化工作流可读、可等、可驱动的对象。现在更适合 agent / CLI 自动化开发者试水，不适合立刻替换主力 tmux 环境。
Haskell Foundation 不再设全职执行董事：钱回代码，但谁来拧紧组织？
Haskell Foundation 宣布执行董事 José 将于 2026 年 6 月离任，之后不再设置全职执行董事。基金会计划把大部分财务资源投向技术工作，让成员更清楚地看到捐助和生态改进之间的因果关系。方向是对的，但新瓶颈也很现实：没有全职中枢后，谁来协调人、钱、项目和社区预期？
Phosphene 开源：视频壁纸不稀奇，苹果的门禁才是重点
Phosphene 把用户自选 MP4/MOV 接进 macOS Tahoe 的系统壁纸与锁屏壁纸选择器，看起来像原生功能，但靠的是私有 WallpaperExtensionKit。它不是苹果官方开放的视频壁纸 API，也不是普通用户可放心长期依赖的稳定消费品。真正刺眼的是：系统级体验在苹果手里，第三方要么绕路，要么降级。
SBCL 这块“汇编面包板”，比那个栈式 VM 更值得看
一篇 2014 年旧文展示了一个个人实验：用 SBCL 内部汇编器手搓栈式 VM，把 8 个虚拟栈槽固定映射到 r8-r15。它的重点不是证明旋转栈 VM 必胜，而是说明高级语言运行时仍能承担底层实验车间的角色。对编译器、VM、Forth、Lisp 爱好者来说，真正可学的是试错路径，不是照搬方案。
Firefox 148 关掉 asm.js 优化路径：旧功臣该退场了
Mozilla 已在 Firefox 148 默认关闭 SpiderMonkey 的 asm.js 专用优化路径，未来还计划删除相关代码；asm.js 代码仍会作为普通 JavaScript 运行，不等于网站失效。真正受影响的是还在发布 asm.js / 旧 Emscripten 输出的项目，Mozilla 给出的路很明确：迁到 WebAssembly。我的判断是，asm.js 不是失败者，它是完成任务后变成了维护负债。
C/C++ 的 UB，已经不是“高手小心点”能解决的事
一位有近 30 年 C/C++ 日常经验的开发者发文称，未定义行为比多数人以为的更普遍，非平凡代码几乎很难彻底避开。关键问题不是 C/C++ 能不能继续用，而是安全、合规和工程责任已经不允许团队继续把 UB 当成少数程序员手滑。LLM 不能自动修好老代码，但可能成为低成本的第一轮 UB 清扫工具，前提是专家复核。
llm-gemini 0.32a0 又小更：Gemini 3.5 Flash 之后，重点变成推理 token 的流式可见
Simon Willison 的 llm-gemini 从 0.32 到 0.32a0，主线仍然不是“Gemini 变强了”，而是 LLM CLI 生态给 Gemini 补上更细的试用和可观测入口。相比 0.32 支持 Gemini 3.5 Flash，0.32a0 额外补强了 streaming reasoning tokens，但它依赖 llm>=0.32a0 alpha，适合开发者试，不适合直接当稳定生产能力。
Forge 开源：8B 本地模型没封神，但工具调用可能少掉链子
Forge 是一个面向自托管 LLM 的 Python 可靠性层，重点处理工具调用、多步流程和上下文管理。它的价值不在于把 8B 模型说成顶级大模型，而在于让本地 Agent 在运行时更少犯格式错、漏步骤和上下文失控。项目自测结果需要放回 26 个场景评测里看，不能外推成通用基准结论。
Google I/O 2026 日程页上线：先确认入口，别急着猜新品
Google I/O 2026 官网已上线日程页：Google keynote 定在太平洋时间 5 月 19 日 10:00，Developer keynote 定在 13:30，5 月 21 日将更新点播 sessions、codelabs 等资源。现在能确认的是大会时间表、学习资源和社区入口，不是 Android、Gemini、Pixel 的具体发布清单。对开发者更实际的动作，是预留观看时间、等待 session 细化，再决定哪些工具和接口值得跟进。
570 多个操作系统装进一个 Linux VM：这座虚拟博物馆真正厉害的是能跑
Virtual OS Museum 发布了一个可下载的 Linux 虚拟机，预装并预配置 1948 年至今的大量操作系统和独立应用。它号称覆盖 1700+ 安装、250+ 平台、570+ 不同操作系统，支持 QEMU、VirtualBox、UTM。真正的价值不是怀旧截图，而是把软件史变成可启动、可回滚、可比较的活档案；但授权边界、长期维护和镜像来源仍是硬约束。
Cursor 发 Composer 2.5：AI 编程开始比谁能把长活干完
Cursor 发布 Composer 2.5，仍基于 Moonshot Kimi K2.5 开源 checkpoint，不是完全自研新底座。更新重点放在长任务、复杂指令遵循、局部文本反馈 RL、25 倍合成任务和协作体验上。真正该看的不是又一次模型升级，而是 AI 编程工具正在从拼跑分，转向拼长期代理能力、训练控制力和算力储备。
Hyperpolyglot 这张 Lisp 表：括号统一，工程入口分裂
Hyperpolyglot 的 Lisp 页面发布于 2019 年，对照的是 Common Lisp / SBCL 1.2、Racket 6.1、Clojure 1.6、Emacs 24.5。 它不是教程，也不是新发布的语言新闻，而是一张四种 Lisp 方言的并排速查表。 它最有价值的提醒是：Lisp 的分歧不在括号，而在运行时、生态、互操作和工程入口。
Files.md：一个更小的 Obsidian，和一场反第二大脑幻觉
Files.md 以开源 Obsidian 替代品亮相，但它目前更像一个 Beta 阶段的本地 Markdown 工作台：笔记、日记、任务、清单都回到 plain .md 文件。它的价值不在功能追赶，而在把 PKM 用户从插件、模板、图谱的掌控感里拽出来。适合想少折腾工具的开发者和重度写作者；不适合已经依赖 Obsidian 插件生态的人立刻迁移。
Prolog 的恐怖，不是怪语法，是程序安静地漏解
metalevel.at 的《Prolog Coding Horror》把 Prolog 常见反模式归成四类：丢失解、全局状态、不纯输出、低级构造。真正危险的不是程序崩溃，而是 `!/0`、`(->)/2`、`var/1` 这类写法让程序安静运行，却漏掉本该存在的解。对 Prolog 开发者和语言设计读者来说，这篇文章的价值不在语法教学，而在提醒：声明式语言最贵的资产，是可推理性。
Grid2Poster 开源：它把 OSM 电网数据做成海报，不是电网平台
open-energy-transition 开源了 Grid2Poster，可用 OpenStreetMap 的电力线路数据生成国家、地区或大陆级电网海报。它的价值是把电网可视化做轻，适合展示、传播和开源地图检查；但它不是权威规划图，也不是实时运行图。成图质量主要取决于 OSM 覆盖、Overpass 查询成本，以及使用者是否说清数据边界。
Semble 开源：AI 编程代理该少读点废代码了
MinishLab 开源 Semble，面向 AI 编程代理做代码检索，项目方称相比 grep+read 可少用约 98% token。它的重点不是替代 grep，而是把 agent 在大型代码库里的“找路”过程做成基础设施。真正要验证的，是它在脏仓库、复杂任务和真实工具调用习惯里能不能稳定省钱省时间。
偶发 ECONNRESET：不是网络玄学，是请求体没读完就 close
本机两个服务之间偶发 ECONNRESET，线索指向一个很窄的边界：服务端没读完客户端发来的数据，就写大响应并 close。实验里 tcpdump 看到了真实 TCP RST，strace 显示服务端 sendto 返回成功后正常 close，但这不等于客户端完整收到了数据。对 nginx/gunicorn/Flask 这类栈来说，关键不是先找替罪羊，而是确认请求体是否被读干净、关闭语义是否被框架抽象藏掉。
Copilot 按 AI credits 计费后，20 美元 AI 订阅的便宜账露馅了
GitHub Copilot 6 月 1 日启用按 AI credits 计费后，部分开发者报告几小时就消耗大量月度额度，甚至有人一天内用完。真正的新信息不是“又涨价了”，而是 AI 编程工具开始把模型、上下文、Agent 时长这些真实推理成本摊到用户面前。