访问受限 抱歉，您当前所在的地区无法访问此页面。感谢您的理解。
每日HackerNews RSS
Kagi 已停止开发适用于 Linux 的 Orion 浏览器，但计划将现有成果开源。Hacker News 上的相关讨论被标记为重复，并链接到了 Kagi 的官方公告和更早的讨论。
评论者质疑 Orion 在 Linux 上使用的是哪种渲染引擎，并指出 Orion 的 iOS 和 macOS 版本基于 Safari/WebKit，因为 Apple 要求这些平台上的浏览器必须使用 WebKit。一些用户表示，Orion 在 iOS 上尤其有用，因为该平台对搜索引擎提供商的限制会使 Kagi 等服务受到限制。另一些用户则对 Kagi 没有将 Orion 在所有平台上开源感到失望，不过一名评论者表示，无论如何都会继续使用 Firefox。
新巴比伦和晚期巴比伦时期的宗教教育，并不是一门独立学科，也不以圣典为核心，而是精英书吏训练的一部分。富裕家庭的男孩通常在家中的学校学习，先掌握阿卡德语和苏美尔语的基础读写能力，再进阶学习高级文学，并接受专业学徒训练。除书写技能外，课程还传授神话、祭祀知识、社会价值观和帝国意识形态。 学生通过神祇名录、祷文、赞美诗和神话文本，了解庞大的众神体系，尤其重视马尔杜克。《卢杜卢尔·贝勒·内梅基》和《智慧箴言》等作品讲授神明的 characteristics、应有的虔敬、道德行为，以及面对疾病或不幸时的应对方式。《廷蒂尔》和《尼普尔纲要》将巴比伦和尼普尔描绘为神圣中心；奉献文书则让学习者接触实际的祭祀仪式。 这种教育为书吏和祭司日后从事学术、行政、医疗、占卜和祭祀服务奠定了基础。后来，这些专家运用所掌握的文字知识，在阿契美尼德和塞琉古统治时期保存或重塑宗教传统。对马尔杜克和巴比伦日益强调，可能有助于在外来帝国统治下维护巴比伦人的身份认同。
《黑客新闻》的一则讨论帖涉及《课堂上的神：第一千纪巴比伦的宗教与教育》。评论者争论宗教在历史上究竟是促进还是阻碍了科学探索。一些人认为，基督教帮助人们形成了理性且可预测的世界观，而实验性研究在一定程度上是针对原罪等观念而兴起的。另一些人则反驳称，教会机构也曾压制天文学、进化论等思想，科学是在希腊、犹太、基督教、波斯和伊斯兰社会广泛交流的过程中发展起来的。
另一场相关讨论涉及动物献祭和圣经教义，指出祭品中的肉通常会被分配，并非全部浪费；亚伯拉罕诸教的传统有时也更强调服从，而非仪式。多位参与者批评那些对宗教在历史中的作用所作的笼统判断，认为这些说法过度简化或不符合历史事实。
讨论还提到巴比伦的抄写学校，其中宗教文本可能同时具有信仰崇拜和行政管理用途，以及当前关于在公立学校教授“十诫”的争论。一段偏离主题的讨论提议利用宗教威胁来约束人工智能系统，但有人反对称，优化器只会把这种威胁视为另一种需要规避的约束。
在 Go 工作负载运行时，使用交换空间（swap）吸收内存峰值可能会造成明显干扰。Go 的垃圾回收器（GC）会在停止世界（stop-the-world）阶段反复读取持久化的运行时元数据。由于这些页面会被重复使用而不是释放，内核的页面老化机制可能会将它们换出到交换空间，从而迫使 GC 在所有 goroutine 都暂停期间处理同步的严重页面故障。
在配备 MGLRU 和 NVMe 的 Linux 6.8 上，GC 暂停时间的中位数约为 51 微秒，但最长暂停时间达到 40 毫秒。其中，39 毫秒用于处理 GC 内部记账期间发生的 228 次页面故障。此类暂停会显著增加尾部延迟，并推迟已完成 I/O 的处理。
内存分配密集的路径也受到了影响：构造一条 511 KiB 消息所需的时间，在 NVMe 上从 3–5 毫秒增加到 105 毫秒，在网络存储上则增加到 903 毫秒，不过这一额外开销仅影响执行内存分配的 goroutine。
结论是，交换空间本身并不一定有害，但将 Go GC 元数据换出到交换空间，可能会把存储延迟转化为全局停止世界延迟。在此次实验中，Go 1.26 的 Green Tea 垃圾回收器几乎没有带来改善。
一个 Go 服务经历了大约 40 毫秒的停止世界垃圾回收暂停，原因是内存压力已将 GC 元数据换出到磁盘。因此，这次延迟主要来自缺页，而不是产生垃圾的数量。
讨论中提出了几种可能的应对方案：
- 确保有足够的 RAM，并将延迟 SLO 的达成以内存压力处于可接受范围内为前提。
- 在 GC 指标之外，跟踪主要缺页、内存压力和交换活动。
- 考虑禁用或调整交换、锁定内存，或使用 cgroup 限制。不过，禁用交换并不能消除换页：内核仍然可以回收文件映射的代码页和页缓存页。
- 通过预取、锁定 GC 元数据、页状态 API、基于区域的回收，或更深入地协调对象图与交换机制，改进运行时或操作系统集成。
- 认识到追踪式垃圾收集器会扫描仍然存活且可达的数据，因此即使分配速率较低，庞大的长期存活对象图仍可能带来高昂开销。
另外一场漫长的讨论围绕引用计数是否应归类为垃圾回收展开。它的主要实际缺点是原子更新开销、级联式释放和引用循环，而优点则是能够更早地回收资源。总体而言，评论者一致认为，任何内存管理策略都无法避免权衡取舍。
许多程序分析任务都可归结为求单调函数的固定点。在完备格上，塔斯基定理保证最小固定点和最大固定点都存在，但必须根据需求有意识地选择：从底元素开始迭代通常会逼近最小固定点，而从顶元素开始迭代则会逼近最大固定点。 死变量消除很好地说明了这一问题。将所有值都初始化为活跃，并反复删除不再活跃的值，通常只能得到不够理想的固定点，并可能遗漏循环以及其他无用计算。正确的方法是从返回、内存写入等可观察效果出发，将相关值反向标记为活跃，再正向传播活跃性；这样计算得到的是最大固定点。 罢工强制条件分析提供了一个现实示例。从已经参与的工会开始，不断扩充参与罢工的工会集合往往会趋向最小固定点，并可能导致不必要的死锁。若要找出满足所有条件的最大协同群体，就应从所有受强制条件约束的工会开始，反复删除未达到要求的工会，从而计算最大固定点。 保守初始化可以得到安全且可行的中间结果，并加快收敛速度，但可能牺牲完备性。因此，选择初始近似值——也就是选择最终要逼近的固定点——应当明确权衡准确性与性能。
俄罗斯伊尔库茨克州卫生部门表示，据官员和媒体报道，一名实验室工作人员因鼠疫死亡后， 近200人被要求接受医学观察。这名27岁或28岁的员工在伊尔库茨克抗鼠疫研究所工作，据称她在打碎一支装有活菌的试管后感染了鼠疫。她出现严重肺炎，被送往舍列霍夫斯克住院治疗，随后接上呼吸机，并于周四死亡。 至少197名可能的接触者被隔离，其中100多人住在医院病房，舍列霍夫斯克医院也已被封闭。公众活动被取消，当局还就可能存在的卫生安全违规行为启动刑事调查。州官员表示，接触者均无症状，检测结果也呈阴性。据报道，这起病例属于肺鼠疫，但官方声明没有说明具体类型；邻近的布里亚特共和国没有报告疫情暴发。
**《河流突袭》（1982）**在浏览器中得到高度忠实的 Atari 2600 移植。玩家驾驶飞机沿程序生成的河流 endless 向上飞行，避开河岸、桥梁、轮船、直升机和喷气式飞机，同时应对迅速消耗的燃料。飞越燃料库可为油箱补充燃料，也可以将其击毁，获得 80 分。必须射击桥梁才能继续前进；撞毁会损失九条命中的其中一条，每获得 10,000 分便奖励一条新命。 原始 4 KB 卡带会使用确定性的 16 位随机数生成器，提前生成每个由 32 条扫描线组成的河流区块，因此每次游玩都会出现相同路线。河道在不同路线之间交替，包括笔直和蜿蜒路段，难度也会逐渐提高。 该项目没有使用模拟器，而是用 JavaScript 重新实现了卡带的 6502 运行逻辑，保留了其 128 字节内存、硬件碰撞检测、图形、音效，甚至一些未公开的特殊行为。原始 ROM 也会同时运行，以进行逐字节验证。测试结果显示，在 45,000 帧内没有出现任何差异，开场画面完全一致，并且 300,000 个河流生成器状态下的行为均完全匹配。
一个 Hacker News 项目向一款深受喜爱的 Atari 2600 游戏致敬：从原始 ROM 开始，逐条指令地反汇编并重新构建其游戏卡带。该链接引发了讨论，话题涉及疑似未披露的 LLM 协助、怀旧情绪，以及早期游戏能否吸引年轻玩家。
一些评论者认为，操控设计出色的老游戏具有一种如今鲜少被复刻的独特手感；另一些人则觉得 Atari 2600 的玩法较为浅薄，并认为 NES 才是吸引年轻玩家的实际分界线。技术讨论聚焦于 Atari 和 Nintendo 如何通过卡带芯片扩展基础硬件：Atari 的 DPC、SARA 和 Starpath Supercharger，以及 Nintendo 的 MMC 系列。尽管画面原始、功能有限，Atari 仍取得了惊人的成果，也一直被那些在它陪伴下成长的人亲切地记在心里。
# 使用 OCaml 进行量化金融 这是一本全面指南，介绍如何用 OCaml 构建正确、高性能且易于维护的金融系统。本书将量化金融理论与生产级、可复用且类型安全的库相结合，同样重视数学表达的清晰性、正确性和性能。 全书分为七个部分，涵盖 OCaml 基础、数学与概率；固定收益和利率衍生品；股票、布莱克–斯科尔斯模型、蒙特卡洛方法与波动率；信用风险、CDO 和多资产模型；市场风险、希腊字母、XVA 与投资组合优化；算法交易、交易执行和高频基础设施；以及随机微积分、机器学习、监管和 OxCaml 等高级主题。书中贯穿使用了现代 OCaml 5 的特性，包括域和效应。 每一章都提供讲解文字、可复用模块、实例、练习和基准测试。项目使用 Dune，并包含安装依赖项、构建示例和运行测试的命令。有经验的 OCaml 或金融读者可以跳过部分入门章节，并将本书作为连续教材或参考手册使用。
```关于新发布的《Quantitative Finance with OCaml》网站/书籍的 Hacker News 讨论引发了严重的可信度担忧。评论者无法确认作者身份，而宣传的 GitHub 仓库以及指向 OCaml 安装附录的链接都返回了 404 错误。这本书的结构似乎也存在不一致：章节中承诺会提供一个“OCaml 安装与工具”附录，但实际的附录 A 却是 OCaml 快速参考。
一些读者表示，这些内容看起来像是 AI 生成的，包含事实或技术错误，并且对 Java 的比较具有误导性。另一些人认为，它可能是在已有量化金融手册基础上借助 AI 移植而成的；其中一名评论者还链接到了他们认为是原始来源的资料。总体而言，该项目被认为价值较低，完成度也不足。```
错误：请求无法完成，请求已被阻止。目前无法连接到此应用或网站的服务器。可能是流量过大或配置错误。请稍后重试，或联系该应用或网站的所有者。 如果您通过 CloudFront 向客户提供内容，可以查看 CloudFront 文档，了解如何排查并防止此错误。 由 CloudFront 生成 请求 ID：eXniWmyEc4SXbwLnRJ1Bc07fZyTOZ6itVnVNxf6fcF-09CdJh8wKWQ==
备份之道
一篇 1997 年的《备份之道》（“Tao of Backup”）文章重新出现在 Hacker News 上，引发了怀旧情绪和讨论。文章的核心建议至今仍然实用：保存完整的系统状态；在不同介质上保留冗余副本；将部分副本存放在异地，或放到日常故障难以波及的地方；保护备份免遭入侵或破坏；并定期验证备份是否确实能够恢复。文章同时也是对现已停止运营的 Vericity 备份软件的一则公开广告。
讨论的焦点是，NixOS 之类的声明式系统是否会让备份变得不再必要。 commenters 认为，可复现构建、回滚和配置管理都很有价值，但旧版本软件包、无法获取的源代码、机密数据、缓存、可变数据以及硬件故障，仍然需要独立的备份。
大家推荐的做法包括分层备份：配置管理、增量文件同步、快照、完整系统镜像，以及本地或异地的不可变副本。其他人还讨论了 Borg/restic、云对象存储、硬盘、LTO 磁带和一次写入型光盘介质。
最一致的结论是：只有当备份彼此独立、定期经过测试，并且能在当前情况下所允许的时间内快速恢复时，它才真正有用。
``` 请启用 JavaScript，并禁用任何广告拦截器 ```