许多程序分析任务都可归结为求单调函数的固定点。在完备格上，塔斯基定理保证最小固定点和最大固定点都存在，但必须根据需求有意识地选择：从底元素开始迭代通常会逼近最小固定点，而从顶元素开始迭代则会逼近最大固定点。 死变量消除很好地说明了这一问题。将所有值都初始化为活跃，并反复删除不再活跃的值，通常只能得到不够理想的固定点，并可能遗漏循环以及其他无用计算。正确的方法是从返回、内存写入等可观察效果出发，将相关值反向标记为活跃，再正向传播活跃性；这样计算得到的是最大固定点。 罢工强制条件分析提供了一个现实示例。从已经参与的工会开始，不断扩充参与罢工的工会集合往往会趋向最小固定点，并可能导致不必要的死锁。若要找出满足所有条件的最大协同群体，就应从所有受强制条件约束的工会开始，反复删除未达到要求的工会，从而计算最大固定点。 保守初始化可以得到安全且可行的中间结果，并加快收敛速度，但可能牺牲完备性。因此，选择初始近似值——也就是选择最终要逼近的固定点——应当明确权衡准确性与性能。
每日HackerNews RSS
俄罗斯伊尔库茨克州卫生部门表示，据官员和媒体报道，一名实验室工作人员因鼠疫死亡后， 近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，并禁用任何广告拦截器 ```
**开源** 每一行代码都托管在 GitHub 上，并采用宽松许可证。你可以阅读、复刻并在此基础上构建。 **原生，而非套壳** 使用纯 Rust 编译成真正的桌面应用，支持 macOS、Windows 和 Linux。不依赖 Electron，也不使用 WebView。 **第一天上手就像老朋友** 采用办公人员已经熟悉的布局、工具和快捷方式，无需重新学习。 **你的文件，你的设备** 所有操作都在本地处理你自己的文件。无需在云端与工作内容之间反复传输。 **为智能代理而生** 每款应用都可以通过 CLI、JSON 控制通道或 MCP 服务器驱动，专为自动化和 AI 智能代理打造。 **也能在浏览器中使用** PhotoCraft、VectorCraft、LightCraft、PrintCraft、EffectCraft 和 DesignCraft 均可编译为 WebAssembly，并在浏览器标签页中运行。
Hacker News 用户讨论了 ArtCraft Apps。这是一套基于 Rust、旨在复刻 Adobe 产品的新工具，主要由 AI 协助开发。开发者称其仍处于早期 Alpha 阶段，但测试者反馈称，它存在严重卡顿，以及选择、文本编辑、快捷键、面板和导航功能失效等问题。
批评者称其为“AI 垃圾”，并指责其营销宣传夸大了产品的成熟程度；支持者则认为，它是对 AI 编程工具的一次雄心勃勃的测试。
讨论并未停留在功能缺失上。Photoshop 的开发难度还包括响应速度、专用工作流、文件兼容性、插件、预设、教程，以及多年来形成的生态系统。Affinity、GIMP、Krita 和 Inkscape 被推荐为更可靠的替代方案，尽管它们也并非完美。
另一些人欢迎开源软件挑战 Adobe 的垄断，但也批评这种以复刻现有产品为先的设计。他们对忽视已有社区项目、使用“源代码可用”许可证、净室开发相关声明，以及尚未解决的 AI 版权问题提出了质疑。
开发者还计划推出 Office、AutoCAD 和 SolidWorks 的替代产品，其中 CAD 尤其具有挑战性，因为它对高级几何内核有很高的要求。
没有可翻译的内容。
一场 Hacker News 上的讨论围绕塔夫特的“数据墨水比”及一篇解读该概念的文章展开。作者将这一比例视为一种需要结合具体情境使用的启发式原则，而不是一个需要盲目 maximization 的目标。批评者则认为，减少墨水可能会降低清晰度：柱形、坐标轴、标签、网格线以及看似冗余的视觉提示，都可能有助于比较、分组和理解。其他人建议，与其追求减少墨水，不如减少空间复杂度，并根据受众和任务选择合适的图表形式。
许多评论者认为，塔夫特的原则能有效提醒人们减少图表杂乱，但也批评它缺乏充分的实证依据，且过于简单化。他们引用了相关研究，指出关于简化图表是否能提升理解或表现，现有证据并不一致；他们还提到，对于小型数据集，表格有时能传达得更清楚，并建议参考威廉·克利夫兰基于感知的研究。此外，这篇文章也被批评内容重复，看起来像是由大语言模型生成的。作者承认了这些担忧，并邀请大家进一步提供例子和讨论。
一项全球分析估计，2024年感染导致约230万例新发癌症，约占当年所有癌症诊断病例的12%。研究人员评估了12种与癌症相关的病原体，其中四种病原体导致的病例约占感染所致癌症病例的92%：幽门螺杆菌（76万例）、人乳头瘤病毒（HPV；75万例）、乙型肝炎病毒（36万例）和 Epstein–Barr 病毒（26万例）。
研究结果凸显了巨大的预防机会。HPV疫苗和乙型肝炎疫苗的有效性很高，但疫苗接种覆盖率仍然不足；2024年，只有31%的符合条件的青少年女性至少接种了一剂HPV疫苗。简化为单剂次的HPV疫苗接种方案可能有助于改善疫苗可及性。目前尚无EBV疫苗，而幽门螺杆菌的预防重点是检测和治疗。
中低收入国家承担了全球77%的感染相关癌症负担，主要原因是预防项目的覆盖范围有限。研究人员提醒说，癌症登记系统覆盖不完整可能低估真实负担，这种情况在非洲尤其明显。加强疫苗接种、感染筛查和治疗，可能预防大量癌症病例，并降低长期医疗成本。
黑客新闻
最新
|
往期
|
评论
|
提问
|
展示
|
工作机会
|
提交
登录
[重复]
每 8 个癌症病例中就有 1 个是由感染引起的
（LiveScience.com）
18 分
作者：bookofjoe
1 天前
隐藏
|
往期
|
收藏
|
4 条评论
帮助
stavros
1 天前
|
下一条
[–]
重复：
https://news.ycombinator.com/item?id=49892120
回复
ironqcold
1 天前
|
上一条
[–]
有意思。我以前没想过癌症和感染之间存在联系。
回复
toast0
1 天前
|
上级
[–]
他们开始讨论 HPV 疫苗后，我才意识到这一点。
回复
jofzar
1 天前
|
根评论
|
上级
[–]
如果你是家长，请让你的孩子接种 HPV 疫苗。在澳大利亚，这已经挽救了许多人的生命。
考虑申请 YC 2027 年冬季批次！
申请截止日期为 11 月 2 日。
指南
|
常见问题
|
列表
|
API
|
安全
|
法律声明
|
申请加入 YC
|
联系我们
搜索：