请启用 JavaScript 并关闭广告拦截器。
每日HackerNews RSS
抱歉。
本文介绍了 .NET 11。作为专注于性能提升的最新版本，其灵感源自《摇滚万万岁》（This Is Spinal Tap）中“更进一步（one louder）”的理念。文中详细阐述了在运行时、JIT 编译器、类库和诊断工具方面进行的数百项针对性优化，旨在切实提高运行速度并减少内存分配。 主要改进包括： * **JIT 编译器**：增强了“去抽象（deabstraction）”和“受保护的去虚拟化（guarded devirtualization）”，通过消除开销并启用内联，提升了接口/虚函数调用及泛型代码的性能。 * **运行时异步（Runtime Async）**：一套全新的基础架构，使 JIT 能够比传统的编译器降级方法更有效地优化 `async/await` 模式，从而减少内存分配和二进制文件体积。 * **边界检查**：新的范围分析模式允许 JIT 省略不必要的边界检查，特别是在循环和复杂的位运算中。 * **向量化与内部函数**：扩展了对 AVX-512 的支持，改进了 Arm64 指令选择，并提供了新的可移植 SIMD API。 * **类库优化**：大幅提升了 `BigInteger`（通过扩大字节位）、`Regex`、`SslStream`、`HttpClient` 以及各类集合/LINQ 操作的运行速度。 文章强调，.NET 11 通过对核心逻辑和内存安全性进行微小且迭代的改进，实现了性能的叠加式增长。
抱歉。
◐ 加载中…
抱歉。
Reversing Factorio's RNG
32 天前
本摘要涵盖了对《异星工厂》（Factorio）伪随机数生成器（PRNG）的技术探索。 **概念：** 《异星工厂》的“随机”机制（特别是品质判定）并非真正的随机，而是依赖于一种称为 `taus88` 的确定性 PRNG 算法。通过对游戏二进制文件进行逆向工程并理解其背后的线性反馈移位寄存器（LFSR）数学原理，若已知当前的内部状态，即可预测未来的随机数结果。 **方法：** 1. **状态重构：** 通过观察多个依赖随机数的结果（如物品回收产出），可以求解 `GF(2)` 上的线性方程组，从而确定随机数生成器的内部状态。 2. **预测：** 一旦确定状态，系统即可提前计算出未来的随机数值。 3. **操纵：** 通过使用快速、高频的配方（如废料回收）来“消耗”掉不理想的随机数调用，从而推动生成器前进，直到达到能产生高品质（传奇级）物品的期望状态。 **当前状态：** 虽然在技术上可行，但该过程非常脆弱。《异星工厂》2.1 版本将随机数调用进一步集成到了共享逻辑中，使得将生成器与后台事件隔离开来变得更加困难。因此，虽然从理论上实现传奇级物品的完全自动化是可能的，但这仍是一项极其复杂且小众的工作，且容易导致同步失败。
抱歉。
/opsx:explore 梳理问题并理解代码库 /opsx:propose 起草 proposal.md、specs/、design.md、tasks.md /opsx:apply 执行任务列表中的实现工作 /opsx:verify 检查实现是否符合规范 /opsx:archive 将已完成的变更归档
这篇 Hacker News 的讨论探讨了在软件工程中使用大语言模型（LLM）时，类似 **OpenSpec** 的**规范驱动开发（SDD）**框架的实用性。
**核心观点：**
* **支持规范（Pro-Spec）的论点：** 支持者认为，SDD 为复杂、长期的项目提供了必要的结构。它有助于使人工智能代理与人类意图保持一致，防止“幻觉”，并充当系统的契约。一些人建议，通过将规范视为迭代的动态文档，团队可以在复杂功能中保持更好的连贯性。
* **怀疑论/“代码即规范”的观点：** 许多开发人员认为，长期的规范不可避免地会过时（即“规范漂移”），并且维护起来是一种负担。他们认为代码本身才是唯一的真相来源。有些人更喜欢简单的、临时的“待办事项”列表或草稿，任务完成后即丢弃，他们认为结构化的框架会造成不必要的冗余和开销。
* **中间路线：** 许多成功的实践者专注于“轻量级”工作流程。他们使用结构化的规划或架构决策记录（ADR）来记录设计决策背后的“原因”，而将具体实现细节留给代码。
最终，参与者一致认为 SDD 是一种个人偏好；虽然它为一些人提供了纪律，但其他人则认为它是一种使简单任务复杂化的“控制幻觉”。
美国战略石油储备（SPR）储存了数亿桶原油，以缓解供应中断。设计一个能够安全、稳妥且经济地容纳如此大规模储量的设施，带来了严峻的工程挑战。传统的地上储油罐因易受攻击、占地面积巨大且成本高昂，被认为不切实际。同样，诸如现已关闭的红山设施这类人造地下钢衬储罐，也被证明成本过高，且存在环境污染风险。
这一难题的巧妙解决方案是利用墨西哥湾沿岸天然形成的盐丘。工程师通过注入淡水溶解盐层，创造出巨大且稳定的地下洞穴。这些洞穴是石油储存的理想场所，因为盐层具有不渗透性、无反应性，且在压力下具有天然的自封闭能力。
这种方法具有多重优势：它比地上储罐便宜得多，能有效防御空中威胁，且在战略位置上靠近大型炼油厂和配送网络。此外，通过向洞穴底部注水，将浮在水面上的石油挤压向上并进入输油管道，可以高效地提取石油。尽管洞穴维护和盐水处理需要精细管理，但对于国家能源安全而言，盐丘存储仍是一项高效的工程壮举。
美国战略石油储备（SPR）将应急石油储存在巨大的地下深处盐穴中。这些盐穴是理想的储存场所，因为盐层具有不透水性，在压力下能自动封闭，且不会与石油发生化学反应。
为了开采石油，需将水泵入盐穴底部；由于油比水轻，石油会被向上挤压进入输送系统。一个常见的技术担忧是，注入淡水可能会溶解盐壁，从而损害盐穴的结构完整性。然而，工程师通过使用“预饱和”盐水（即盐度已达到饱和的水）来缓解这一问题，这能防止盐层的进一步溶解。这些盐水通常储存在地面上清晰可见的大型池塘中，并在不同循环周期之间循环利用。
尽管由于反复抽取带来的压力，一些人对盐穴的长期可持续性存在争论，但该系统仍是关键的基础设施。除了工程技术外，SPR还是一个复杂的系统，涉及环境监测、严格的技术维护（美国政府问责局等机构的报告对此有详尽记录）以及战略政策平衡。由于原油具有危险性和挥发性，需要专业化处理，因此与占地广阔的地面储罐区相比，这些地下盐穴提供了更安全、更可靠的存储方案。
工程效率通常取决于“高杠杆小技巧”——即那些能简化复杂任务，且无需过多思考成本的实用知识。无论是诸如用于命令行历史记录的 `fzf` 等终端快捷方式，还是像 `git log -S`（“鹤嘴锄”搜索）这样具体的 `git` 指令，亦或是通过 `https.Agent` 来降低 Node.js 中的延迟，这些微小的优化积累起来，能显著加快日常工作流。 除技术技巧外，这一理念也适用于公司内部的“部落知识”，例如清楚地知道哪份文档、哪位同事或哪个内部工具能解决反复出现的问题。由于这些技巧门槛低且效果显著，它们非常适合在工程团队内部进行分享。 作者建议资深工程师每天分享一个这样的“小技巧”。这种频率既不会让同事感到负担，又能培养持续改进和协作解决问题的文化。即使某个技巧大多数人已知，那一个新颖的招式也可能为他人节省时间，并激发有价值的技术讨论。归根结底，这些点滴知识是一个高效且强悍的工程团队的基石。
抱歉。
数据丢失在所难免，但大多数人对此并无准备。简单的文件拷贝是远远不够的，因为它无法防范意外删除、勒索软件或硬件故障。 有效的数据管理需要从简单的镜像转向**基于快照的备份**。这包括： * **恢复点目标 (RPO)：** 确定您可以承受多少数据丢失量。 * **GFS 轮替 (GFS Rotation)：** 通过高频保留近期快照、稀疏保留旧快照的方式来平衡存储空间。 * **去重 (Deduplication)：** 只存储备份间的唯一变更，而非完整副本，从而节省空间。 随着系统规模的增长，复杂性也会随之增加。您必须考虑数据库的完整性、元数据的保留以及物理安全。业界标准是 **3-2-1 规则**：三份数据副本，存储在两种不同的介质上，其中一份存放在异地。 手动管理这些需求容易出错且负担沉重。作者建议不要编写自定义脚本，而是使用经过实战检验的开源工具（如 **Borg** 或 **Restic**），它们会自动处理加密、去重和校验和。归根结底，最关键的步骤是定期测试恢复过程；未经验证的备份根本算不上备份。
这份 Hacker News 的讨论达成了一个共识：**备份并不简单，“拥有备份”只是成功了一半，数据恢复才是真正的挑战。**
主要内容摘要如下：
* **测试恢复至关重要：** 未经过恢复测试的备份等同于不存在。成熟的组织会定期进行自动化的恢复演练，以确保数据完整性。
* **自动化陷阱：** 虽然自动化（如 cron 任务）很有必要，但也存在风险。有缺陷的脚本可能会瞬间将错误或删除操作同步到备份中。用户建议使用只读存储、版本控制或快照技术（如 ZFS/Btrfs）来规避意外风险。
* **简洁性与可靠性：** 许多用户提倡使用 `rsync`、`restic` 或 `borg` 等“无聊”但稳健的技术，强调工具应足够简单，在恢复数据时无需依赖专有软件或复杂的环境配置。
* **云服务的局限性：** 仅依赖云服务提供商（如 iCloud、Google Photos、OneDrive）存在账户被锁、服务条款变更以及透明度不足等风险。
* **物理层面：** 对于关键数据，真正的冗余（3-2-1 备份原则）是必须的，即数据应存储在不同的介质和地点，以抵御内部事故或恶意破坏。
概览 指标 关于 ◐ ✕ 正在重新连接…
此次 Hacker News 讨论聚焦于小米为其“MiMo”模型系列发布的实时训练后仪表盘。用户对其透明度印象深刻，认为这在通常秘而不宣的行业中是一种罕见的公开姿态。
**讨论要点：**
* **模型性能：** 用户反馈 MiMo (v2.5/2.6) 是一款高效且具备成本优势的软件工程工具。尽管部分用户在特定规划任务中更倾向于使用 DeepSeek 4.1 Flash 或 Qwen，但许多人认为 MiMo 在执行任务时的“服从性”和低成本优势是无可比拟的。
* **关于“开放性”的争论：** 参与者将小米的透明度与 OpenAI 和 Anthropic 等美国实验室的“黑箱”做法进行了对比。虽然有些人对仪表盘的技术完整性持怀疑态度，但另一些人将其视为迈向竞争性、透明化 AI 开发的积极转变。
* **行业趋势：** 普遍观点认为，AI 开发已进入通过强化学习进行“基准测试（benchmaxxing）”的阶段。尽管一些用户认为模型能力已进入瓶颈期，但另一些用户则认为近期的迭代——尤其是在编码任务中表现出色的模型——已显著降低了开发成本，带来了实质性的改进。
arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都秉持并认可我们对开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于这些价值观，并仅与同样遵守这些准则的合作伙伴共事。您有能够为 arXiv 社区增值的项目想法吗？了解更多关于 arXivLabs 的信息。
近期的一场 Hacker News 讨论深入探讨了“突破 1.58-bit 障碍”这一研究。该研究针对三值大语言模型（LLM）进行分析，发现零值在模型权重中占比超过 50%。研究人员利用这一分布特性引入了名为“BITCOS”的布局方式，有效提高了存储效率，将权重压缩至约 1.48 bits。
社区对此反应不一，但普遍看好端侧推理的前景。支持者认为，如果这种高压缩比技术能集成到专用芯片中，将大幅提升能效与推理速度，从而克服目前限制大模型性能的内存带宽瓶颈。
然而，怀疑论者则对精度下降表示担忧，指出激进的量化尚无法做到“无损”。尽管量化感知训练（QAT）等技术有助于缓解质量损失，但一些人认为，与高精度模型相比，“1.58-bit”模型在处理推理任务时可能表现不佳。尽管存在争议，但业界已达成共识：在模型大小、速度和精度之间找到最佳平衡，正成为人工智能研究的关键前沿领域，特别是在嵌入式和边缘计算应用中。