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

用 Rust 重写 Linux 0.11:类型更清楚了,内核没变安全
开发者 Poseidon-fan 用地道 Rust 从零重写了 1991 年的 Linux 0.11 内核,能在 QEMU 上跑完整用户态,配了 80 多个 coreutils 和一个手写 shell,但仓库只有 29 颗 star。真正值得琢磨的不是「又一个 Rust 操作系统」,而是它证明了一件事:类型系统能理顺代码结构,却治不了内核里引导、中断、分页、驱动这几块历史上最容易出事的 unsafe 硬骨头。

不打开Xcode也能发布Mac应用,但iOS没那么简单
独立开发者Scott Willsey称,构建、签名、公证、安装Mac应用全程不用打开Xcode,靠XcodeGen生成项目文件、一次性证书设置、再用release.sh脚本串起xcodebuild与notarytool即可。但这套流程本质只适用于Mac:iOS应用根本不需要公证和装订,devicectl也只能装到自己设备,不等于上架,原文标题没讲清这层区别。

Logseq 2.0公测背后:一场笔记软件的路线分裂
Logseq官方发布2.0.1公测版,标志着这款笔记软件正式拆分为Markdown文件版和SQLite数据库版两条产品线。数据库版带来结构化属性和更快性能,但闪卡、白板、Org-mode支持随之消失,Git友好的文件工作流也被打破,官方甚至为其单独开了一个bug仓库。

开源工具dom-docx:HTML转Word,主打可编辑而非像素复刻
MIT开源项目dom-docx把语义化HTML片段转成原生可编辑的Word文档,默认路径不依赖浏览器。它的卖点不是又一个转换器,而是把可编辑结构和视觉回归打分当核心指标,卡在报表、合同导出这条长期没解决好的缝隙里。但CSS grid、web字体、复杂图表这些硬骨头,目前它啃不动。

shot-scraper 1.11:没加新功能,先把等1秒的老问题填平
shot-scraper 1.11 是一次克制的小版本更新:server启动检测从固定等1秒改成轮询最多30秒,新增--js-file统一了五个命令加载JS脚本的方式。没有新功能噱头,却修掉了CI流水线里容易翻车的等待逻辑。这类一致性修补,决定了一个CLI工具能不能被放心长期塞进自动化流程。

sqlite-utils 修了一个从不报错的 Bug:静默删数据的风险藏了三个版本
sqlite-utils 4.1.1 让 table.transform() 在特定条件下直接报错,而不是像过去那样悄悄触发外键级联,删掉或改掉引用表里的数据。这不是一次普通修 bug,而是把一个存在了至少三个版本、完全没有异常提示的数据丢失风险,第一次摆到台面上。

十几台老电脑塞进一个网页背后,是一套C语言模拟器架构在偷偷较劲
开发者floooh在2021年12月15日放出tiny8bit-preview页面,把C64、ZX Spectrum、Amstrad CPC等十几台8位老电脑的浏览器模拟器汇成一页,两天后他又发布了周期步进Z80模拟器的技术文章。这张页面看着像怀旧陈列,实际是同一套C头文件库chips支撑的架构验证,技术含金量藏在时序精度里,原文完全没提。

Claude Code首轮多烧5倍token,多步任务账单却未必更贵
Systima抓包实测显示,Claude Code首轮请求约3.28万token,是OpenCode约6900token的近5倍;但多步编码任务里,Claude Code靠批量工具调用反而总账更低。真正决定账单的不是模型,是工具schema、指令文件、MCP和子代理这几层配置。

Odin官方文档里,那本教程其实要花钱买
Odin编程语言的官方文档站正式收录了一本要付费购买的个人教材《Understanding the Odin Programming Language》,最新1.10版把Small_Array改教成已被核心库正式取代的[dynamic;N]T类型。这次更新表面是教材小修,实际暴露的是官方教程建设的空缺——放在core:os刚被os2整体替换的背景下看,一门仍在剧烈重构API的语言,把入门门槛部分交给了一本商店里的书。

970个提取器背后:yt-dlp靠什么撑住一场没有终点的军备竞赛
一张Ilograph绘制的交互式架构图把yt-dlp拆解到代码层,暴露出它远不止是下载脚本:970余个站点提取器、一个218KB的核心类、专门对抗YouTube反机器人机制的子包,共同支撑着一场持续更新才能活下来的对抗系统。这些具体数字目前只有该图这一个信源,交叉验证还是空白。

Ghostel:借来的引擎,给 Emacs 终端换了个内核
Ghostel 用 Ghostty 同款引擎 libghostty-vt 替代 libvterm,补上 Kitty 图形、OSC 8 等 vterm 和 eat 都没有的协议能力。首次使用会自动下载原生模块,免去本地编译,但把信任成本换了个地方。长期维护落在第三方项目而非 Ghostty 官方,能不能跟上引擎迭代还是未知数。

Goeteia 用自己编译自己首页,但这条路上 Google 已经放弃过一次
开发者 guenchi 发布了自举 Scheme 编译器 Goeteia,官网标题动画本身就是在浏览器里实时编译成 WebAssembly 跑出来的。但这条“Scheme 编译到浏览器”的路此前已经有 Google 的 Schism 半途而废,Goeteia 目前除了官网自述外几乎没有独立验证,社区反响也只停留在一条 Reddit 帖子。

AI审issue、人类捉bug:sqlite-utils维护者的新工作流
Simon Willison发布sqlite-utils 4.1,新增六项CLI与API能力,其中STRICT表迁移功能看似是亮点,实则STRICT本身早在更早版本就已支持,4.1真正补的是SQLite自己都做不到的'表结构搬家'。更值得记的是发布过程本身:issue优先级由Codex筛选,代码由AI生成,而两个真实bug是Willison要求AI跳出自动化测试、手动敲代码验证边界情况才被揪出来的。

冷启动5.4毫秒碾压Node/Deno/Bun,这条Show HN帖却查无实据
Ant自称从零手写JS引擎Ant Silver,单文件9.1MB、冷启动5.4毫秒全面压制Node、Deno、Bun,还宣称100%通过WinterTC兼容测试,但检索不到任何第三方复测、社区讨论,连对应的Hacker News讨论串都找不到。造引擎这件事历史上鲜有独立团队走到生产级完整度,眼下这些数字只能算自证。

SQLite的STRICT表:一个关键字能防错,但防不住所有坑
开发者Evan Hahn撰文推荐给SQLite表加STRICT关键字,能挡住文本插进整数列这类低级错误。但这功能2021年就有了,四年过去仍不是默认选项,ANY逃生舱、生成列、外键类型对齐这些细节,决定了它离真正的强类型还有距离。

16核机器,PgBouncer只肯用1个核
ClickHouse把Postgres连接池PgBouncer从单进程改成基于so_reuseport的多进程fleet,官方压测显示吞吐从单进程见顶后下滑的8.7万TPS涨到33.6万TPS,约4倍;真正的难点不是加进程,而是解决取消请求路由失效和连接配额超订这两个具体坑。这套思路PgBouncer文档早就写了,ClickHouse做的是把它变成默认配置,数据目前只有官方自证一个来源。

号称无分支的排序代码,被自己跑分打了脸
一份用排序网络和无分支partition精心优化的Quicksort,在苹果M1加Clang -O3下实测比std::sort慢了三倍多;同一套技术思路,在作者此前的跑分里却曾快出一倍到近三倍。差距不在算法聪明与否,而在编译器那一刻愿不愿意把三元表达式降级成无分支指令——这是一场跟编译器版本、CPU架构死死绑定的赌局。

FreeCAD塞进浏览器:96MB首包,Chrome能开,Firefox还打不开
magik.net把开源CAD软件FreeCAD整体编译成WebAssembly装进浏览器,首包约96MB,目前只有Chrome/Edge 137以上版本能打开。这是WebAssembly承载重型工程软件的技术验证,不是FreeCAD官方发布,也替代不了桌面版。开发者能直接借鉴静态链接和WebGL2模拟方案,普通用户日常工程图纸仍需用桌面版。

T2液态金属特效封神背后:50个镜头,一支拼凑起来的队伍
vfxblog在《终结者2》3D重映之际发布长篇口述史,十余位ILM老兵回忆当年如何在没有任何商业软件的情况下,为T-1000液态金属造出Make Sticky、Body Sock等自研工具。真正的看点不是特效多震撼,而是完成这件事的团队小到要跨公司兼职、边写代码边补课,靠资源匮乏逼出了后来影响整个行业的CG流程。

写了16年Haskell的创始人,把新代码搬去了Python
Scarf用7年时间让Haskell扛住生产流量和SLA,如今新API开发转向Python。作者写了16年Haskell、身兼Haskell Foundation董事,这次批评不是外部唱衰。真正的变量不是语言优劣,是AI agent的并行工作流,让编译时间和冷启动从小麻烦变成了主要成本。

编辑器圣战吵了几十年,谁也拿不出一份秒表数据
Odin语言作者Ginger Bill撰文《Good Tools Are Invisible》,批评vim等工具的用户把操作缺陷包装成"解谜乐趣",用15年Sublime经验区分"感觉高效"与"真正高效"。这场持续几十年的编辑器圣战,本质上从未拿出过可验证的效率数据,靠的全是轶事和身份认同。