开发工具资讯 第3页
聚合当前分类下的最新内容，按时间顺序查看第 3 页精选文章。
同时开四个AI程序员写代码,谁来盯着它们
开源工具 Agent Manager 用 tmux 把 Claude Code、Codex、OpenCode、Grok Build 装进一个终端,统一看状态、发提示、审 diff;它解决的不是模型变强,而是多开代理后没人盯进度的老问题;目前只原生支持 macOS/Linux,重度并行用户才用得上。
gpiozero作者发布拖拽画布gpiozero-flow:局域网能点灯,复杂逻辑仍要写代码
gpiozero创始人Ben Nuttall发布实验性工具gpiozero-flow,可拖拽连接树莓派GPIO设备并生成Python代码,还能在同一局域网内切到树莓派本地实例点亮实体LED。它做的是设备级抽象和数值流可视化,不是要替代Node-RED或Scratch这类通用流程工具和图形化编程语言。一旦涉及分支、循环等逻辑,画布就得让位给代码,项目本身也仍是作者个人的实验性初版。
SQL没让程序员消失，它只是换了一种活儿
SQLite创始人D. Richard Hipp说，SQL接管的是COBOL程序员手写查询代码那门手艺，不是程序员这个职业，他自己也承认这是简化说法。真正被自动化的是重复实现型任务，需求定义、结果验证、系统治理从没被替代过。放到今天的AI编程讨论里，这个类比能说明方向，说明不了岗位数量会不会减少。
造完 Terraform 和 Vault，Mitchell Hashimoto 这次做了个终端复用器
HashiCorp 联合创始人 Mitchell Hashimoto 携老团队创办 Superlogical，首款产品是支持跨设备恢复、Web/macOS/iOS 访问和实时协作的终端复用器，目前只开放 beta 候补登记，未来可能开源部分组件。官网自称目标是统一终端、自动任务与生产系统，但生产级安全和可组合系统这两步都还没做出来。个人开发者可以先排队观望，平台团队现在最该盯的是第三步安全能力何时交付。
Hashimoto 再创业，Superlogical 首发终端多路复用器对标 tmux
HashiCorp 联合创始人 Mitchell Hashimoto 创办新公司 Superlogical，首款产品是基于 MIT 许可 libghostty 的终端多路复用器，对标 tmux、Zellij。官方称这不是 Ghostty 商业化：Ghostty 仍归非营利组织所有，治理、许可、路线图不变。产品未发布，定价、商业模式、内测时间和联合创始人身份均未公开。
Godot能扛起商业VR游戏，代价是8万英镑“早期采用税”
Godot资深贡献者Claire Blackshaw在Develop Brighton 2026披露，团队用Godot做商业VR游戏《Augmental Puzzles》并移植PSVR2，额外花了约8万英镑修补引擎，这笔账还不含主机移植的独立成本。她给出的判断很直接：Godot能做商业VR，但没有免费午餐。
开源修图软件darktable:省订阅费,但省不掉学习成本
darktable是摄影师主导的开源RAW工作流软件,主打原图不改、非破坏性编辑、专业色彩管理和GPU加速,完全免费不绑账号。功能清单和商业修图软件基本对得上,但官网自述不能证明它更好用、更稳定。真正决定换不换的,是相机支持、目录迁移、降噪这些细节,材料里都没给答案。
同一台16美元服务器,换个数据库,读取上限后移了100倍
Traceway在同一台月租16.49美元的Hetzner服务器上,把SQLite换成DuckDB,写入吞吐提升3到15倍,仪表盘可查询规模上限普遍后移100倍。这是团队自测的单次结果,读取测试没有并发写入干扰,10亿行规模下查询已经超时。结论是自托管场景可以缓一缓ClickHouse,不是DuckDB碾压SQLite或取代ClickHouse的证据。
SpecForge 想让写规格像写代码一样顺手,但“分析通过”不是“证明”
SpecForge 用户指南展示了如何用 Lilo 语言给混合系统写时序规格,并在 VSCode 或 Python SDK 里完成监测、示例生成、反例搜索等一体化分析。它真正的价值是把可审查的需求嵌进了日常开发流程,但监测、示例生成和反例搜索都不等于完整的形式化证明,规格本身写错了照样能拿到“通过”的结果。
SQLite 上生产:WAL 治得好读写打架,治不了单写者瓶颈
WAL 只解决读写互斥,没解决单写者瓶颈,写竞争照样撞上 SQLITE_BUSY。能不能上生产,不看 PRAGMA 调没调好,看负载是不是单节点、读多写少、数据量装得下一块盘。写入曲线的变化,才是该不该迁移到 client-server 数据库的真正信号。
从 Seka 到 ProTracker：复古演示工具为何高效却难用
一篇标注发表于2026年7月的文章，展示了演示场景中用于编程、音乐、图形和磁盘操作的代表性复古工具。这些界面的价值不只在视觉风格，更在于它们记录了创作者如何用专用工具绕开7MHz级CPU、有限内存和软盘限制；代价则是陡峭的学习曲线、版本分裂与不完整的资料。
越狱 Kindle 装上 Tailscale 代理和 TUN：能连出去了，但不是所有机型都行
社区给越狱 Kindle 的 Tailscale 方案加了默认 SSH、应用代理和部分机型可用的完整 TUN，KOReader 终于能连上自建的 Calibre、Wallabag 服务器。但 TUN 只对部分机型生效，配套的 KOReader 插件在不同硬件上也踩坑，这依然是一件门槛不低的极客工具，不是大众产品。
开发者放出一个脚本，把 Hacker News 评论塞进你正在看的文章里
独立开发者 Thomas Walichiewicz 发布开源用户脚本 HNewhere，能自动匹配文章对应的 Hacker News 讨论，并把评论嵌入页面侧边栏。它确实省掉了一次标签页切换，但装脚本管理器的门槛和对 HN 接口的依赖，决定了受众有限。真正会装的是每天从外链跳进 HN 讨论的重度用户，普通读者用不上。
《半条命》终于跑上 Mac OS 9：补完 Valve 旧账的是开源社区
开发者 doctashay 借助 Xash3D FWGS，让《半条命》可在 Mac OS 9 的 G3/G4 PowerPC Mac 上完整游玩，并支持多人模式。它补上了 Valve 取消原版 Mac 移植后留下的空缺，也提醒老硬件玩家：真正决定体验的还有显卡、合法游戏数据和项目能否长期维护。
首次构建5秒,改一行代码70毫秒:Zig增量编译还差最后一个版本
Zig核心团队用像素编辑器Fizzy演示增量编译:首次构建约5秒,改动后重编译只要50到70毫秒,但完整体验目前只在master分支,0.16.0缺链接能力,普通用户大概率要等0.17.0。真正的看点不是这次演示多快,而是Zig从语言设计阶段就为可拆分依赖让路,这条路径其他语言未必能照抄。
93行规范守住6万行AI证明：一场“审规范不审代码”的验证实验
开发者schildep开源了一个用Lean 4形式化验证的3D网格交集内核，审查重点从1000多行AI实现和6万多行AI证明，压缩到93行规范。项目证明的是审查方式可以变，不是AI代码从此免检——两个各7万三角形的兔子模型求交集要跑24秒，说明它离生产级CAD还有距离。
微服务解决的问题,从来不在代码里
有技术博客提出：微服务从没有靠谱的技术尺寸标准，构建慢、测试慢、部署慢也大多能在单体里解决。它真正对症的是组织问题——团队大到要各自发布、各自负责一块地盘。自治不是免费的，网络故障、接口版本、跨团队协调都是账单，规模不够就别急着拆。
别人的 C/C++ 项目,被 Zig 社区先打包了
GitHub组织All Your Codebase正给知名C/C++项目补build.zig,让它们能用Zig统一构建、跨平台编译,但这只是第三方打包,项目本身并未官方采用Zig。Zig主张同时替掉Make、CMake、系统包管理器和CI矩阵,交叉编译确实省事,但要绑定一个还没到1.0的编译器版本。真正的分水岭不是能不能编译,而是上游愿不愿意收编、社区扛不扛得住长期维护。
DConf 2026落地伦敦：D语言想用AI和C兼容补短板
DConf 2026将于2026年9月2日至4日在伦敦CodeNode举行，由D语言基金会和Symmetry Investments主办，同步直播。议程集中在Phobos 3的LLM工作流、用Claude Code等智能体写D代码的实践，以及ImportC的最新改进。议程扩容说明D社区想靠AI工具和C兼容能力降低维护和迁移门槛，但还不能证明D语言的实际采用率已经上升。
python-build-standalone：把 Python 装进程序里，而不是装进系统里
开源项目 python-build-standalone 提供自包含、跨平台的 CPython 发行版，把标准库扩展和依赖打包进去，减少对目标系统环境的依赖，供 PyOxidizer、PyOxy 等工具二次封装。它解决的是嵌入式和单文件交付场景的部署难题，不是给普通用户提供更方便的装机方式，而且不代表零兼容成本。
论坛项目 Misago 把 React 换成 HTMX，这笔维护账算得挺实在
开源论坛 Misago 计划分批把 React 移出代码库，改用 HTMX 做局部更新，已把账户设置和帖子列表页迁移完成。misago.js 主包从 615KB 降到 530KB，但 vendor.js 的 679KB 还没动，完整迁移当时排在 2024 年之后。这笔账对论坛类服务端渲染项目站得住，但不构成放弃 SPA 的通用理由。