开发工具资讯 第11页
聚合当前分类下的最新内容，按时间顺序查看第 11 页精选文章。
GIMP要砍掉27年的XCF格式,新功能却还锁在nightly里
GIMP在8月16日的开发博客里预告了一批3.4功能:新工程文件格式、非破坏性编辑扩展、光谱混色、PSD兼容性改进,信息量不小。但要先纠正一个容易被标题带偏的事实——这些功能只存在于尚未正式发布的开发版3.3.2里,普通用户手上能装的仍是即将更新的稳定版3.2.6。
Rhombus 1.1:把写宏的门槛,悄悄降了一级
Rhombus 1.1 发布,核心变化是用 annot、annot.def 让开发者不必直接写宏就能定义注解类型,同时调整了 class 继承绑定和作用域处理规则,并给 FFI、pict、slideshow 补了几处实用功能。真正的看点不是功能多少,而是 Racket 式"语言可定制"的能力,这次是不是真的往下发到了普通开发者手里,而不只是宏专家的特权。
为了分享一只骑车的鹈鹕,他把整套FFmpeg塞进了浏览器
Simon Willison给他的markdown-svg-renderer新增了浏览器端MP4导出功能,靠加载31MB的ffmpeg.wasm现场把SVG动画拆帧编码成视频。动画检测、时长估算、冻结帧到编码的完整管线,证明纯前端也能干服务器级的视频活,但代价是首次加载体积和串行编码效率。
形式化验证翻红,50年前那份判决书该翻案吗
AI编程热潮带火了曾被视为学术花瓶的形式化验证,而这股热闹的起点,正好撞上一篇1979年就判它'必死'的经典论文。逐条对照下来,四条老论点里,AI只是真正动摇了其中一条半,离'验证已经赢了'还远。
Protobuf 终于有了官方 LSP,『第一』的说法要打个问号
Buf 于1月14日发布首个生产级 Protobuf LSP,内置于 Buf CLI,一条命令就能获得跳转定义、代码补全、语义高亮等能力,填补了 Protobuf 多年的 IDE 体验空白。但社区此前并非空白地带,range 格式化缺失、breaking change 未接入 LSP、import 路径被 buf.yaml 工作区锁死,这些限制才是团队真正要面对的采用成本。
CORS Chat一天上线：Willison没说的性能真相与安全先例
Simon Willison用一天时间靠GPT-5.6-Sol xhigh写出浏览器端聊天工具CORS Chat，代码量约1800行、防护做得比想象中扎实，但它验证的只是接口兼容，不是DGX Spark和M5 MacBook谁更快；浏览器存API密钥这套架构，行业里已经出过真实安全事故。
Zig砍掉泛型I/O接口，编译时间账本却有赢有输
Zig用近两年时间彻底重构I/O接口，砍掉GenericWriter/AnyWriter，改用基于vtable的std.Io.Writer，代价是所有开发者必须手动管理缓冲区并显式调用flush。重构自带的基准显示，编译速度有的场景快了两成多，唯一的真实项目样本却慢了一成多，0.16规划的io_uring/kqueue后端也仍停留在概念验证阶段。
画个形状就能听见鼓声：Eigendrum 复现了'同谱异形'的数学反例
网页工具 Eigendrum 让用户画一个闭合形状或输入公式，浏览器本地用有限元法实时算出这个形状振动时该发出的声音，圆形和矩形的求解误差优于0.1%。它真正复现的不是一面鼓，而是1992年数学家证明的'同谱异形'反例——两个轮廓不同的形状，固有频率序列可以完全相同。张力、阻尼、敲槌位置这些参数仍是人为设定，教师学生适合拿它做模态演示，音乐创作者最好只当实验台，别指望它替代真实录音。
AI测App像真人？Deltix开测,隐私和准确率全凭官网自证
移动应用测试工具Deltix开放测试版上线，用户只需用自然语言描述任务，Mac端Agent就能在iOS模拟器上模拟真实用户操作并反馈是否卡壳。但目前无论是它标榜的“本地隐私优先”架构，还是“像真人一样测试”的执行能力，都只有官方一面之词，没有任何第三方验证。
自定义引擎只占13%发布量，却拿下43%销量，这笔账该怎么算
2024年Steam新游戏里，自研引擎占比13%，销量占比却是43%；但这大概率是少数3A大作拉高的均值，不是小团队自研更赚钱的证据。真正该问的问题是：什么时候该为一款具体的游戏，专门搭一套只服务它的引擎。
SQLite 天生改不动表,sqlite-utils 4.2 靠“拆了重建”续命,还顺手崩了一次
sqlite-utils 4.2 让 table.transform() 更完整保留 check 约束、unique 约束和列注释,但发布没多久就被曝出崩溃 bug,靠 4.2.1 紧急修复。这次意外恰好照出一个被长期忽视的事实:SQLite 原生几乎改不了表,所有“修改”都是拆了重建。
sqlite-utils 4.2.1修复启动崩溃：锅不在uv，在依赖清单漏了一行
sqlite-utils 4.2.1修复了4.2版本因漏报typing-extensions运行时依赖、导致uvx直接启动崩溃的问题。根因是开发依赖组悄悄装上了这个包，掩盖了正式依赖清单的缺失。受影响的只是干净安装场景，不涉及已安装环境的核心功能。
alchemy-utils 0.1a1 提速：方向可信，性能结论还欠一张表
alchemy-utils 0.1a1 改进了 DuckDB 导出和 CSV 导入，并加入默认值为 100 的批处理参数。批处理确实可能减少调用开销，但项目没有公布耗时、内存和数据规模，现阶段也没有证据表明 sqlite-utils 已经“换引擎”。对现有用户而言，这更适合并行测试，而不是立即迁移。
「无聊技术」十年后：三枚创新代币还够用吗
Dan McKinley在2015年提出的「三枚创新代币」理论——公司应把技术冒险配额控制在三次以内——十年来成了硅谷工程文化的常识，但这套框架本身经历过悄然改写，Monzo银行的反例也证明它并非放之四海皆准。真正的问题不是无聊技术对不对，而是谁有资格判断自己不属于例外。
DeepSeek Harness上线，官方身份却先要打个问号
DeepSeek在deepseek.com/harness挂出“DeepSeek Harness”开发者预览，主打“一切皆插件”和可追溯session日志，但独立核查未能确认该页面与GitHub仓库确系官方所有，反而发现了同名概念的非官方仿制项目。即便产品属实，其架构主张放进LangGraph、AutoGen、OpenAI Agents SDK的坐标系里看，目前也只是意图声明，还没有生产级验证。
Codex桌面版号称登陆全平台，正文却只字未提Linux
OpenAI 官方 Codex 产品页大谈多代理协作和企业客户证言，但检索发现桌面应用目前只支持 macOS 和 Windows，Linux 用户仍得靠命令行工具凑合。这说明 OpenAI 现阶段的产品重心是企业协作场景，而不是操作系统的全面覆盖。
一本1910年的逻辑书,凭什么被说成'预见'了编程语言?
独立研究者Oleg Kiselyov重读1910年出版的《数学原理》,称其读起来像现代编程语言教材,甚至预见了lambda演算与直觉主义。但把逻辑史学者的反方证据摆上桌,会发现PM与现代类型论之间隔着丘奇、图灵、库里、哥德尔和Curry-Howard对应这条完整的独立谱系,'先驱'说法经不起细究。
Zed发布Delta：代码全程留痕，谁能看、能不能删还没人说清
Zed推出多人agent协作环境Delta，核心是DeltaDB把代码worktree和对话实时同步、记录到操作级别，解决了commit式审查滞后于agent产出的老问题。但产品官网对定价、加密、数据留存与删除机制只字未提，Hacker News上已经有开发者把这种细粒度历史比作职场监控。
19次数据库故障查了六个月,Tailscale说揪出SQLite一个16年缺陷
Tailscale花六个月追出19次生产数据库损坏的根因,把矛头指向SQLite内部一个存在16年的WAL重置缺陷。问题是,目前能证实这件事的只有Tailscale自己的博客,SQLite官方论坛和代码库里都还找不到对应的确认。
同一张小 JPEG，为什么在 Chrome 里看着更粗？
同一张 JPEG 缩成小图后，在 Chrome 与其他浏览器里可能出现粗细、锐度差异。JPEG 的缩放解码是一个合理嫌疑，但仅凭 15px 的显示尺寸还不能定案；更常见的变量还包括缩放滤镜、DPR、色彩管理和合成路径。对图标与细线素材，真正可靠的办法不是押注浏览器实现，而是改用 SVG 或 PNG。
Delphi免费版跳级到13，5000美元才是真门槛
Embarcadero把Delphi Community Edition从12.1直接跳到13，一次性补齐两年多的语言、IDE和平台升级，看起来很慷慨。但年收入5,000美元、团队5人、单用户许可这几条资格红线一直没动，跳级本质上是一次获客策略，不是慈善。