每日摘要 · Hacker News
· 13 黑客新闻
一份来自 1996 年的 Grim Fandango 谜题设计文档在 Hacker News 上引发热议。这份由 Tim Schafer 亲手打造的内部文档，不仅规划了游戏关卡，更充满了幽默涂鸦和个性旁白，展现了那个年代开发者对作品的极致热爱。评论者们纷纷回忆，尽管游戏存在 Bug 或反逻辑谜题，但其独特的艺术风格、音乐和叙事魅力至今无人能及。有人感叹，若将这份充满人情味的文档放在 2026 年…
Commodore 的 Amiga Unix（Amix）曾在 1990 年代随 A2500UX 和 A3000UX 发布，随后便停滞不前。如今，amigaux.org 社区项目让这款 System V Release 4 系统重新焕发生机。该项目不仅实现了 Amix 在 68040 和 68060 硬件及现代加速器上的运行，还构建了现代工具链、包管理器 apkg 以及针对从未支持过的硬件的驱动程…
- ▲ 85赢了签证抽签，美国企业才敢扩张
美国 H-2B 签证抽签研究揭示了一个反直觉的真相：限制低技能移民并未创造美国本土岗位，反而导致企业规模萎缩。Michael A. Clemens 和 Ethan G. Lewis 利用美国劳工部随机抽签机制，发现未中签企业雇佣的外籍工人减半，营收随之下降，而美国本土低技能工人的就业并未增加。数据显示，外籍工人与美国工人并非简单的替代关系，而是互补的规模效应。当企业无法获得所需劳动力时，它们选择…
当用户向 AI 聊天机器人咨询理财建议或财务数据时，得到的答案往往并不靠谱。最新报道指出，这些智能助手在处理金融类查询时，绝大多数时候都会给出错误信息。无论是复杂的投资分析还是基础的账目计算，AI 的“幻觉”问题在涉及真金白银的领域显得尤为致命。这提醒我们，在依赖 AI 提升效率的同时，对于涉及财务决策的关键信息，仍需保持警惕并加以人工核实，毕竟算法的自信并不代表事实的准确。
- ▲ 49柏林左翼胜选，誓言将住房国有化
在2026年9月的柏林州选举中，极左翼政党Die Linke取得压倒性胜利，得票率高达25.3%，击败了总理Friedrich Merz领导的Christian Democrats (CDU)。该党候选人Elif Eralp承诺将落实2021年公投结果，推动将约22万套住房单位国有化，以解决首都日益严峻的租金危机。尽管这一激进的住房政策可能耗资200亿欧元且面临社会民主党SPD及Greens关于…
别再只依赖别人训练好的模型了。mini-AGI 是一个能在 8GB 显存笔记本上从头训练并持续学习的字节级语言模型。它通过动态将权重分页到磁盘，打破了显存对参数规模的限制，实现了真正的终身学习。模型能根据数据流自动组装架构，在训练时动态扩容或修剪，且阅读与生成共用同一代码路径。虽然目前仍是玩具级实验，但它证明了在普通硬件上实现无灾难性遗忘的持续学习是完全可行的，让每个人都能训练属于自己的、永不停…
Jared Palmer推出了Kev，一个基于Qwen3.5构建的轻量级决策模型家族，提供0.8B、4B和9B三种参数规模。这些模型专为处理Yes/No判断、多选项选择和评分任务而设计，支持在本地CUDA或Apple Silicon设备上运行。Kev的API完全兼容TypeSafe的System One，开发者可直接使用Python SDK进行集成。无论是客服工单分类还是棋局评估，Kev都能高效…
- ▲ 42确定性的核心，非确定性的外壳
十四年前，Gary Bernhardt 提出了 Functional Core, Imperative Shell 架构，将业务逻辑与外部交互分离。文章指出，纯函数并非实现可测试性的唯一路径，关键在于“确定性”。即使在使用 C 等语言或状态机时，只要核心逻辑保持确定性，就能获得相同的测试优势。作者建议将随机数生成、网络通信等不可控因素移至“非确定性外壳”，并对遗留代码进行“确定性碎片整理”。通过…
通常的解释是Backprop在反向传播误差，但我曾困惑：既然神经网络只是复合函数，用链式法则前向计算梯度不行吗？深入分析后发现，若强行前向计算，同一消息会被重复传递多次，导致计算量呈二次方增长。而反向传播利用链式法则，让每个节点只需向后传递一次局部信息，即可高效完成梯度计算。这种设计本质上解决了信用分配问题，让算法在节点数量线性时间内完成。
- ▲ 24OpenAI员工笑谈AI末日论
当行业内外热议AI可能毁灭人类时，来自OpenAI、Meta和DeepMind的员工却反应冷淡，甚至觉得荒谬。面对Jacob Coxon等人提出的AI将制造生物武器的警告，内部人士直言这些说法缺乏细节且逻辑跳跃。Nvidia CEO Jensen Huang更是断言2030年世界末日概率为零，认为散布恐惧是不负责任。尽管大家认为LLMs缺乏毁灭人类的“狠劲”，但针对AI模型失控、黑客攻击及军事应…
The Lunduke Journal 在 X 平台上披露了一组引人注目的数据：9 月份，Linux Kernel 收到的所有补丁中，有 17.25% 是由 AI 生成的代码。仅上周单周，就出现了 1,634 个由 AI 撰写的代码提交。这一趋势引发了社区对未来的广泛讨论，DHH 甚至预测 AI 生成代码的比例将迅速攀升至 50% 乃至 100%。也有观点认为，实际比例可能更高，只是开发者并未完…
字节跳动Seed与清华大学AIR联合推出了DAPO，一个完全开源的大规模LLM强化学习系统。该系统基于verl框架，提出了Decoupled Clip和Dynamic Sampling Policy Optimization算法。在AIME 2024数学竞赛中，DAPO-Qwen-32B模型取得了50分的优异成绩，仅用50%的训练步骤就超越了之前的SOTA模型DeepSeek-R1-Zero-Q…
今年我在处理 AI 生成的 TLA+ 规范时，发现它们总爱用 'spine' 这个词。出于好奇，我利用 GitHub Search 分析了公共 PR 标题的数据，结果发现今年前九个月包含 'spine' 的 PR 数量是去年的 20 倍，远超 GitHub 整体增长比例。这似乎不是单一模型如 GPT 5.5 或 Opus 4.8 的锅，而是包括 Claude 和 Cursor 在内的多个 LLM…