开发工具资讯 第10页
聚合当前分类下的最新内容，按时间顺序查看第 10 页精选文章。
Elm 0.19.2发布：编译器补丁重启1.0信号，但受益范围有限
Elm发布0.19.2补丁，靠降低解析阶段内存分配换取编译提速，官方同时确认后续会以一连串小版本走向1.0；受益最明显的是500k行以上的大型代码库，小项目基本无感；Acadia项目的编译器经验会回流Elm，但equatable、hashable等新特性何时落地还没有时间表。
sqlite-utils 4.0 stable 延期：rc3 补上复合外键和大小写兼容
Simon Willison 原计划本周末发布 sqlite-utils 4.0 stable，结果先放出 rc3。复合外键支持和列名大小写不敏感匹配这两处底层改动会影响 table.foreign_keys 等已有 API 行为，必须在候选版里先处理干净。用 sqlite-utils 做建表、迁移、外键检查的开发者，升级前最好先检查相关代码。
开源游戏平台Homegames：官网说做了8年，年份却对不上
开发者在Show HN发布免费开源游戏平台Homegames，主打浏览器内建代码编辑器、实时多人预览和可自托管的GPLv3代码，号称独立开发8年。翻查作者历年留下的HN评论和第三方帖子会发现，官网所称的2018年起点站不住脚，但项目本身有真实代码和自托管文档支撑，并非纯情怀包装。
微软没敢发布的Windows 2000，被一个沉寂多年的模拟器复活了
一个自2008年起基本停更的开源Alpha模拟器项目，最近冒出新分支ES40-Emu，加上JIT编译、S3显卡和ARC固件支持后，首次跑通了微软当年在正式发布前就砍掉的Windows 2000 for DEC Alpha。这事有意思，但目前只有一位博主的主观实测，没有第三方验证，也没有量化的性能数字。
这本免费编译教材,页面显示的发布时间比现实早了近三年
圣母大学教授Douglas Thain把编译原理讲义做成免费在线教材第二版,配套项目要求学生把类C语言B-Minor编译成x86或ARM汇编;但页面显示的发布时间比PDF内部记录的真实修订日期晚了近三年,这道时间戳缝隙提醒读者别把网页抓取信息当成版本真相。
PCBJam把KiCad搬进浏览器,但"不上传"撞上了自家的"多人协作"
PCBJam的demo页面展示了一个能在浏览器里编辑本地KiCad项目、号称"从不上传"的alpha产品,但其官网同时宣传"multiplayer"协作功能,两者在架构上难以自洽;KiCad本身是GPL项目,PCBJam自身代码是否开源也未见公开说明。这些空白比"KiCad搬进浏览器"本身更值得追问。
六年之后，Craig Mod那句'5000字必卡顿'还成立吗
2019年Craig Mod用Ulysses处理5000字文档时逐字重渲染卡顿的细节，论证软件变慢等于工程变差；2024至2025年的用户反馈却分裂成两派，有人粘贴几千字就卡，也有人写到近三万字依旧顺滑。速度能不能当作工程质量的可靠信号，答案比六年前那篇随笔说的要复杂。
程序员在AI写代码时代,退回字节码里养一只毁灭世界的电子宠物
独立开发者用极简字节码环境uxn手写了一款电子宠物游戏APOCKETLYPSE:养到最后它不会死,而是进化成瘟疫、机械或污染三种“启示录”,毁灭人类。作者自称动机是AI渗透专业编程后的倦怠,想找回逐字节掌控代码的手感。这事的真正看点不是游戏本身,而是它折射出一部分程序员对抽象层的主动逃离。
GMP 之外的另一条路：libbeef 用纯 Rust 重写贝拉尔浮点库
libbeef 是 Fabrice Bellard 的 C 库 libbf 的纯 Rust 移植版，主打 no_std、零依赖和 MIT 许可，作者自测显示 300k 位乘法约为 GMP 的 1.3 倍耗时。但目前所有性能数字只来自项目自身仓库，尚无第三方复现，它解决的其实是依赖链和许可证问题，不是速度问题。
AI编程工具改代码总翻车,这家公司说问题出在“动词”太少
HIC Mouse主张用六种声明式操作和暂存回滚机制,替换AI编程agent通用的string replacement编辑方式;但目前所有细节均来自官网自述,且其命名已在检索生态里被误认成鼠标自动化工具,真假实力还没有第三方验证。
shadcn/ui 默认库换成 Base UI：Radix 被自己人「反超」
shadcn/ui 官宣新项目默认组件库从 Radix 换成同一批人做的 Base UI，理由是新建项目选择比例已达 2:1；官方强调 Radix 不会被弃用，但社区早于文档发现变化、以及 asChild 到 render 的架构转变被轻描淡写，都值得多问一句。
445字节的世界地图,真正的功臣是浏览器,不是压缩算法
开发者Iwo Kadziela借助Codex用445字节压缩数据加几行JavaScript,在浏览器里还原出一张可辨认的ASCII世界地图。这招能成立,靠的不是什么新压缩算法,而是2023年才普及的浏览器原生解压API——省字节的账,也没有原文说得那么干净。
38星仓库复活Dreamcast雪藏廿六年的Windows CE桌面
开发者maximqaxd在GitHub上把Dreamcast光盘里从未对外暴露的Windows CE 2.12运行时改造成一个能拖拽窗口的桌面，仓库目前只有38星。这次复活更多是极客考古，联网功能还没跑通，且大量复用了Sega与Microsoft的专有二进制，版权边界含糊。
Neverball 的曲线难题，被一个人的业余工具解决了
Neverball 老工具 curve.c 只会画圆弧，一位开发者用 Rust 写了 Curveball，靠凸包算法和 CAD 式的截面+路径抽象生成复杂曲线关卡。工具网页版、桌面版、源码全公开，但只服务 Neverball/Quake map 这一个小生态。它的真正价值不是功能强，是把一次性脚本变成了可组合系统。
Load average不是CPU使用率：一张htop速查表教你30秒定位系统瓶颈
htop和top的每个字段其实都是内核/proc文件系统的直接映射，但大多数人只会读数字，不会读组合。真正实用的不是知道load average是什么，而是知道load高、CPU低时该往哪查。
82%还是7%?一台FreeBSD服务器,两个监控工具吵起来了
同一台FreeBSD机器,fastfetch报告内存用了82%,btop却说只用了7%,差了十倍不止。刨根问底发现FreeBSD把内存切成五种页队列,ZFS的ARC缓存又藏在wired里不透明,而btop本身还带着一个32位整数溢出的老bug和一段永远返回0的死代码。真正该看的不是free或used这类静态数字,而是swap和laundry队列有没有真的动起来。
MCP 通信黑箱终于有了一个透明代理
开源项目 mcpsnoop 把自己放进 AI 客户端与 MCP 服务器之间的真实数据通路，实时显示每一次 JSON-RPC 调用，弥补了官方 MCP Inspector 看不到真实客户端流量的盲区。它的价值不在协议演示，而在帮开发者定位工具调用失败、参数异常、调用卡住这类真实故障。
ProseMirror 作者悄悄开了新炉灶,老用户怎么办
一款叫 Wordgard 的富文本编辑器库上线,标题直接自称出自 ProseMirror 创造者之手,代码仓库还和 ProseMirror 用着同一套自建托管域名。这更像是十年编辑器基础设施的一次代际更替,而不是简单的新品发布,官方却没解释老项目该何去何从。
苹果给Safari装上AI代理的眼睛,安全声明只讲到自家门槛
苹果在Safari Technology Preview 247里加入Safari MCP server,让AI agent直接连上Safari看DOM、截图、网络请求,调试不用再来回切窗口。但苹果只保证服务器本地运行、不碰AutoFill,页面数据一旦交给agent和背后的模型,安全边界就不再是苹果的责任范围。
4600万行C造出一个rustc:漂亮的demo,遥远的解法
开发者FractalFir把整个rustc 1.98.0-nightly翻译成约4600万行C代码,用GCC和make就能编译出一个能自举、能构建std的Rust编译器。这是他的Rust转C工具链cilly的展示demo,炫技效果拉满,但作者自己也承认:这离解决Rust移植性问题还差得远。
Podman v6.0发布：一句“平滑过渡”，藏着强制迁移和五连锁升级
Podman v6.0.0官方博客用“modernize”“transition”这类柔和措辞描述发布，但实际是一次移除BoltDB、cgroups v1、slirp4netns并强制联动升级Buildah、Skopeo、Netavark等多个组件的破坏性大版本。已把生产环境跑在Podman rootless+systemd组合上的团队，升级前必须先跑一遍迁移检查，而不是直接照官方公告的语气当成无痛更新。