Agili 的 Hacker Podcast 2026-05-30

Agili 的 Hacker Podcast 2026-05-30

NaN分钟 ·
播放数7
·
评论数0

Agili 的 Hacker Podcast 今日话题:Zig 构建系统重做后编译速度跃升九成,Snowboard Kids 2 反编译全部完成,丹麦基金因治理和估值理由排除 SpaceX,Prusa 发布开源混色打印模型,约翰·格鲁伯为讨厌的弹窗取名“dickover”,以及日本因石脑油短缺零食包装变黑白。

Zig 构建系统重做:编译提速 90%,I/O 与增量编译同步推进

build.zig 拆分为配置器和制作器

过去 build.zig 在单进程中编译运行。现在拆成轻量的配置器进程(Debug 模式)生成二进制配置文件,父进程再异步编译制作器(Release 模式)读取配置运行。zig build -h 耗时从 150ms 降到 14.3ms,CPU 周期减少 95.9%。破坏性改动是 b.args 读取被移除,改为 run_cmd.addPassthruArgs(),更改参数时不再需要重编译。

增量编译与链接器改进

x86_64 Linux 上 ELF 链接器新增增量编译支持,增量重编译约需 30ms,Zig 编译器自身重编译降至 288ms 以内。类型解析被重写,循环依赖的错误信息会精确指出路径,同时修复了大量过度分析问题,使增量编译效率大幅提升。

实验性 I/O 后端和包管理

新增基于 io_uring(Linux)和 Grand Central Dispatch(macOS)的事件驱动 I/O 后端,应用代码无需改动即可切换。依赖存储在项目根目录的 zig-pkg 文件夹,--fork 标志可临时覆盖依赖树中的指定包。Windows 上标准库开始绕过 kernel32.dll 直接调用 ntdll API,减少不必要的堆分配。

社区对构建速度提升感到振奋,但也指出新 I/O 的动态分发仍有性能损失,“高效”尚未完全兑现。有用户提到未使用变量强制错误和多行注释缺失在生产中造成摩擦,但依然喜爱 Zig 作为“tinker 语言”的自由度。

Snowboard Kids 2 完成 100% 反编译,N64 经典重生

两年打磨,病房中完成最后匹配

1999 年的 N64 游戏 Snowboard Kids 2 所有函数已被用 C 语言重写,编译出的汇编与原始 ROM 逐字节一致。项目启动于 2024 年 9 月,作者在医院迎接新生儿时完成最后函数,反编译成了他在静默时段的陪伴。

AI 与社区共同加速

Claude、GLM 和 Codex 等 AI 工具大幅加速匹配,Codex 5.5 xhigh 在十个最困难函数上表现最佳,GLM 性价比突出。N64 反编译 Discord 社区成员贡献了关键帮助,有人甚至为该项目定制了智能代码变换器。

为什么是这款游戏

纯粹因为热爱。多位评论者将 Snowboard Kids 2 称为“N64 上最好的卡丁车赛车游戏之一”。原作源码很可能已丢失,反编译就成了延续游戏的唯一可靠途径。作者下一步计划反编译初代,目标是将两代合并成“超级 Snowboard Kids”。社区普遍认为这类个人项目在法律灰区运行,产出可工作的代码才是关键。

丹麦养老基金因治理和估值将 SpaceX 列入投资黑名单

治理结构被指“极度缺陷”

Akademikerpension 指出,Elon Musk 预计控制超过 80% 的投票权,同时担任 CEO、CTO 和董事会主席,“权力极端集中使董事会无法有效监督”。批评者认为这是合理评估,马斯克的政治行为让投资者无法将投资与治理风险分离。也有人提及 Facebook 时期类似情况未被同等对待,但支持者强调 SpaceX 估值更高、权力更集中。

估值被指难以为继

市场指示估值至少 1.8 万亿美元,该基金认为超过 1 万亿无法 justify,风险溢价过低。部分投资者不愿投入 SpaceX、OpenAI 或 Anthropic,认为这些 AI 公司依赖企业预算烧钱不可持续。一位评论者直言 Anthropic 实质是军事工业公司的延伸,表面是软件投资,实际在资助战争。

你大可直说“人类有价值”,不必用 AI 的不足来证明

人类的尊严不取决于能力

一篇博客文章指出,以“AI 不能做什么”论证人类价值,依赖的是正在缩小的能力差距。它不稳固。人的价值不在于一时一刻的基准测试分数,而在于作品背后的意图和投入。文章将“AI slop”定义为大量形式与模糊意图的结合。

“把提示词直接发给我”——社区对 AI 邮件的情绪

有阅读障碍者和非母语者用 AI 辅助措辞是为了清晰沟通,但多数人厌恶 AI 代劳核心内容的邮件。“如果你要用 LLM 给我写邮件,我宁愿你直接把提示词发给我,至少能让我知道你想说什么。”用户区分了“辅助措辞”和“代劳内容”,前者可接受,后者被视为敷衍或欺骗。有人引用 C.S. Lewis:“没有普通人。你从未与一个凡人交谈过。”以此强调人际互动本身不可取代。

Prusa 发布开源 ColorMix 模型,五色丝材实现层间混色打印

基于半色调的层间混色

ColorMix 集成在 PrusaSlicer 2.9.6 中,以 MIT 许可证发布。它用 CMYKW 五色丝材,通过层间交替(类似半色调原理)混合颜色,支持 1:11:33:11:1:1 比例。团队校正了颜料混合模型与堆叠模型不适用于侧视层间混色的问题,采用 Yule-Nielsen 方程并施加经验修正,输入仅为各基色的十六进制色值。

实际使用反馈与限制

打印耗时较长:一个 3 cm 方块、140 层需 5 小时和 140 次换丝。AMS 类系统换丝废料多,而 Prusa XL 的工具切换每次仅产生 13 毫克废料。社区指出 OrcaSlicer 的全彩分支更早实现类似功能,校准圆顶测试也比 Prusa 的锥形模型更方便。目前仅支持固定比例离散混色,尚无法打印连续渐变或照片级表面。

50 多个 Pandoc 模板一站收录,论文、简历、信件全覆盖

热门模板与筛选功能

Pandoc Templates 网站可按格式和文档类型筛选 50 多个模板,支持 LaTeX、PDF、HTML、DOCX 等输出。最热门的 Eisvogel 用于 Markdown 生成演示文稿和笔记,pandoc-resume 和 Thesis Markdown 分别针对简历和博士论文,还有符合 IEEE、NeurIPS 等期刊要求的模板以及德国 DIN 5008 信件模板。

用户经验:强大但不完美

有用户用 Pandoc 和 GitHub Action 自动生成小说多种格式,此前不知存在这么多模板,“有些看起来真的很漂亮”。但 PDF 生成中表格错乱、Unicode 字符丢失、分页控制差的问题让一些人回到 Word 或转向 Typst。讨论中 Quarto 被多次推荐,有人则认为 Markdown 对页式文档表达能力不足,更愿用所见即所得编辑器专注内容而非排版。

石脑油短缺冲击日本:薯片包装变黑白,建材与医疗遭波及

Calbee 产品改用黑白包装

日本最大零食制造商 Calbee 因伊朗战争导致石脑油短缺,将 14 款主力产品的包装改为黑白两色。短缺影响了印刷油墨和溶剂供应,企业称此举是为稳定产品供应。

供应链波及 4.6 万家企业

帝国数据库调查显示,日本约 30% 的制造商依赖石脑油供应链,从表面活性剂到快餐包装涂层无一幸免。Mizkan 暂停了四款纳豆产品,Nisshin 使用素色胶带包装意面。注射器、橡胶手套、住宅保温材料也面临短缺,有建房者抢在涨价前锁定建材,而后续客户已无法下单。医生开的药因塑料短缺从独立小包装变成混装。

政府批评与地缘现实

政府声称石脑油总量充足,批评 Calbee“过度反应”。但评论指出,伊朗战争导致霍尔木兹海峡受阻,日本约 40% 的石脑油进口被切断,虽转向阿尔及利亚、美国等地,转换成本高昂且需数月恢复。

OpenBSD 团队带来 openrsync:利用 pledge 加固的安全同步工具

安全优先的设计

openrsync 以 BSD 许可发布,兼容 rsync 协议 27。它合并了发送端和接收端进程,通过事件循环处理请求,并利用 OpenBSD 的 pledge(2) 和 unveil(2) 将文件访问限制在目标目录内。MD4 哈希种子使用 arc4random(3) 而非 time(3) 避免可预测性。作者明确警告,在缺少 pledge 的系统上编译可用但安全防护不足。

功能完善与争议

--exclude 已在 OpenBSD 7.9 中可用,但 -z 等参数仍缺失。社区就命名中“open”前缀和 BSD 与 GPL 许可的开放性展开讨论,熟悉 OpenBSD 的用户解释这是团队一贯风格。多数场景下 rsync 在信任边界内运行,跨边界使用时 openrsync 的沙箱设计提供了额外保护。

约翰·格鲁伯为最讨厌的弹窗取名“dickover”

定义:强迫用户的不必要模态弹窗

“dickover”指网站故意弹出的全屏遮罩,强迫用户接受 cookies、订阅邮件列表、安装应用等。Euronews、Substack 的订阅弹窗,甚至付费订阅后仍弹出的短信广告都被点名。格鲁伯收集截图太多被迫放弃,唯一的乐子是 Tom's Hardware 的弹窗被自己网站的广告在 JavaScript 层级上互殴。

与 dickbar 的区别及命名争议

非模态的遮挡条被称为“dickbar”(2011 年造词),是轻量骚扰。付费墙不算 dickover,因为那是必要操作。部分人认为用词粗俗不便工作交流,但更多声音认为精准表达了厌恶,且能让团队在提议时感到尴尬。Safari 的“隐藏干扰项”和 Kagi Small Web 的收录标准都试图减少这类设计。

落基山脉蝗虫:数量达万亿级却悄无声息灭绝

12.5 万亿只蝗虫遮天蔽日

1874 年阿尔伯特蝗群覆盖面积超过加州,吃掉 74% 的作物。定居者尝试火攻、毒饵、铲斗机,均挡不住虫潮。鸡吃蝗后肉质发红不能食用,水源被虫尸污染。

无意中摧毁唯一繁殖地

昆虫学家 Charles Valentine Riley 发现,蝗虫的“永久繁殖区”仅限于落基山脉的沙质河谷,灌溉能淹死虫卵。定居者开垦这些河谷为农田,无意中消灭了产卵地。1902 年最后一只标本被采集,迁徙范围虽遍布大陆,但失去河谷后物种便无处可育。评论区更多人感叹,如此庞大的种群仅仅因为栖息地改变就在几十年内完全消失。

蝗虫的群居转变机制与现代控制

干旱后降雨植物疯长、种群拥挤,蚱蜢后腿频繁碰撞触发血清素释放,通过 DNA 甲基化转变为群居蝗虫。现代控制策略在密度达阈值前用卫星定点杀虫,阻止转变。文章用动画展示蝗虫爬动,让读者身临其境感受灾难般的压迫感。


相关链接: