开发工具资讯 第23页
聚合当前分类下的最新内容,按时间顺序查看第 23 页精选文章。

Deno 2.8 官网发布文未上线:现在能信的只有 GitHub Releases
Deno 官网 https://deno.com/blog/v2.8 目前显示“Post unavailable”,正文明确称 v2.8 release post 尚未发布。官方给出的下一步入口是 GitHub Releases,而不是官网博客页。对准备升级、写评估或改 CI 的开发者来说,现在不该猜功能,应该先核验证据。

Cleve Moler 去世:MATLAB 之父真正降低的是计算门槛
Cleve Moler 于 2026 年 5 月 20 日去世,享年 86 岁。他是 MathWorks 联合创始人、首席数学家,也是 MATLAB 第一版作者。 他的重要性不止在 MATLAB 这个名字,而在于把数值线性代数从 Fortran 库和少数专家手里,推成工程师、科研人员日常可用的工作台。 对今天的 AI 工具热潮,这件事也给了一个硬标准:界面好看不够,能被验证、复现、嵌入真实流程,才算工具。

Slumber 不是 Postman 替代品,它是给终端用户的 HTTP 客户端
Slumber 是一个 terminal-based HTTP client,用 TUI 交互调请求,用 CLI 做快速请求和脚本化。它的关键不在功能堆叠,而在同一份 YAML request collection 同时服务调试、复用和版本管理。适合后端、DevOps、重度终端用户;不适合被直接吹成 Postman、Insomnia 这类 API 平台的替代品。

uv 很快,但包管理默认值还不够让人放心
Loopwerk 作者的批评很具体:uv 速度快、整合强,但查过期包、升级依赖、默认版本约束都不够顺手。问题不是 uv 不好,而是它在维护期把一部分风险和认知成本留给了开发者。Python 项目维护者现在可以用 uv,但要给依赖升级多加一层规矩。

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 开发者和语言设计读者来说,这篇文章的价值不在语法教学,而在提醒:声明式语言最贵的资产,是可推理性。