C++ 目前正面临一场身份危机，其特征是两类截然不同的用户群之间日益加剧的裂痕：一类是依赖自动化工具和版本化源码管理的“现代”组织，另一类则是将严格的向后兼容性视为重中之重、“遗留”系统的用户。
C++ 委员会近期重申了 ABI 稳定性并拒绝了“传染性”安全标注，这标志着委员会向后者靠拢，实质上是优先考虑了现状。这导致大型科技公司感到疏远，并对该语言的演进失去信心，其中一些公司（如 Google）已开始探索继任语言。
作者认为，委员会对“安全配置（Safety Profiles）”和“模块（Modules）”等即插即用特性的关注，是专门为了迁就那些无法承担大规模重构的遗留代码库。归根结底，这种分歧并非源于语言本身，而是源于缺乏标准化、高质量的工具和构建系统。通过拒绝打破 ABI 并无视对现代基础设施的需求，委员会试图维持这两个互不兼容阵营的共存，这可能会阻碍语言的发展，并拉大那些能够维护现代 C++ 的群体与困在遗留生态系统中的群体之间的差距。
每日HackerNews RSS
这场来自 Hacker News 的讨论探讨了 C++ 社区内部关于其未来的张力，即如何在遗留代码的稳定性与现代化或采用 Rust 等更安全替代方案的压力之间取得平衡。
这场辩论主要集中在两个观点：
* **支持稳定性：** 许多人认为 C++ 庞大的现有代码库使得剧烈的破坏性变更变得不切实际。由于企业不愿重写数百万行代码，C++ 标准委员会（WG21）优先考虑向后兼容性，即使以牺牲现代安全特性为代价。一些人认为，C++ 是一种成熟且专业的工具，最适合在高性能领域保持现状。
* **支持演进：** 批评者认为，C++ 正受困于“语法债”，并缺乏必要的功能（如内置网络支持或有效的反射）。他们主张，拒绝引入借用检查或解决 ABI 问题，正在将开发者推向其他编程语言。一些人认为，C++ 需要停止迁就遗留限制，转而优先考虑更好的工具链和语言安全性。
归根结底，虽然有些人主张在 C++ 内部进行渐进式改进和优化工具，但另一些人则将其视为一种停滞不前的语言，并指出许多大型项目正逐渐在开发新功能时转向使用 Rust。
最近的一场 Hacker News 讨论聚焦于对小罗伯特·肯尼迪（RFK Jr.）及特朗普政府针对医疗保健研究与质量局（AHRQ）大规模裁员行为的强烈批评。据报道，该机构约 75% 的员工已被解雇或被迫退休。
评论者讨论了这些行为是源于严重的无能，还是旨在瓦解公共卫生基础设施的蓄意恶意。许多参与者表示担忧，认为公共研究的匮乏（此类研究通常涵盖私营制药公司所忽视的领域）实际上是将美国的医学创新领先地位拱手让给了中国等国家。
参与者对长期的后果表达了深切的挫败感，并指出被裁撤的科学家目前正在海外寻求机会，这将导致永久性的“人才流失”。尽管一些用户质疑政府资助研究的有效性或报道的质量，但主流观点是对国家医疗保健研究能力受到侵蚀，以及对公共卫生（特别是群体免疫和医疗可负担性）的潜在影响感到惊恐。许多用户表达了一种无力感，认为当前的政治氛围正将意识形态议程置于科学稳定性之上。
请启用 JavaScript 和 Cookie 以继续。
抱歉。
伯德 Berd
69 天前
BerdBerd 是一款古怪又有趣的桌面应用，用于构建 AI 智能体。
抱歉。
演化人类学家大卫·萨姆森（David Samson）在其著作《不眠之猿》（*The Sleepless Ape*）中探讨了“睡眠悖论”：尽管睡眠对人类健康和认知至关重要，但人类却是灵长类动物中睡眠时间最短的，却也是演化上最成功的物种。
通过对坦桑尼亚哈扎部落及其他小规模社会的研究，萨姆森挑战了西方对于“原始睡眠”的理想化观念——即认为连续、长时间的睡眠在生物学上是必不可少的。他解释说，人类演化出了一套独特的“睡眠生态”（SHELL：庇护所、热量、环境、光线、守望），这使得人类能够进行更短、更高效且富含快速动眼期（REM）的睡眠。
萨姆森认为，现代的“八小时”睡眠标准与其说是生物学上的必然，不如说是后工业时代劳动规范的产物。他主张，当今许多睡眠问题源于演化上的不匹配，特别是我们缺乏对自然光照和温度波动的接触。他提倡“睡眠觉醒”，即比起单纯追求睡眠时长，更应优先考虑昼夜节律的功能。通过顺应自然的各种环境信号，现代人无需拘泥于僵化、过时的睡眠模式，也能获得令人满意的优质休息。
关于《Nautilus》文章《人类睡眠的错位之处》（Where Human Sleep Went Wrong）的 Hacker News 讨论，主要围绕现代“单相睡眠”究竟是自然的基准状态，还是工业化的产物这一议题展开。
讨论的主要观点包括：
* **分段睡眠与单相睡眠：** 批评者认为几乎没有历史证据支持“双相睡眠”（分两段睡觉）的说法。而另一些人则指出，中世纪文献表明分段睡眠曾一度普遍，这可能是人类为适应长夜或环境因素而产生的生物性调节。
* **进化视角：** 评论者讨论了为何人类的睡眠时间比其他灵长类动物短。有人认为这是为了最大化生产力而形成的更高效睡眠，也有人强调睡眠时长差异巨大，因此无法定义一个普遍的“最佳”睡眠量。
* **现代与原始：** 讨论对比了原住民群体与现代人群的“高振幅”昼夜节律。尽管有人认为现代的噪音污染和人工光线干扰了自然休息，但另一些人则认为，尽管现代人的睡眠时间较短，但家中安全舒适的环境能提供更高质量的快速眼动（REM）睡眠。
* **质疑态度：** 用户大多否定了有关“接地”（earthing）或磁场的说法，将其视为“江湖骗术”，并强调睡眠质量更多受生活方式、环境及个体生物学差异的影响。
为了提高平台可靠性并满足 99.99% 的服务等级协议 (SLA)，incident.io 将其单一提供商的事件驱动架构（仅依赖 Google Cloud Pub/Sub）转型为使用 NATS 作为辅助提供商的主动-主动（active-active）多代理架构。
此次转型的关键在于平台现有的 `eventadapter` 抽象层，它允许工程师无需修改应用层代码即可实施新的负载均衡策略。该负载均衡器通过对消息 ID 进行哈希处理，将流量 50/50 分配给两个代理，并使用断路器在提供商性能下降时自动触发静默故障转移。
在消息消费方面，团队基于“最旧单元优先”（Oldest Cell First）排队算法实现了一个“公平加权”调度器。这确保了系统能够优先处理等待时间最长的消息，无论其来自哪个代理，从而保持了一致的资源利用率和吞吐量。
该项目通过严苛的生产环境混沌测试进行了验证，包括人为删除 NATS 集群和模拟 Pub/Sub 中断。测试证实，系统能够在不影响客户且无需人工干预的情况下承受整个代理的故障。这一设计成功消除了一个主要的单点故障，显著提升了平台的整体韧性和运行稳定性。
抱歉。
由于您没有提供具体的内容，请将需要翻译的文字粘贴在下方。
抱歉。
像 Alive2 这样用于验证 LLVM 编译器优化的形式化验证工具，是容易出现缺陷的复杂系统。“误报”相对容易检测，但“漏报”（即工具错误地批准了无效优化）却以难以识别而著称。
作者详细介绍了两种旨在揭示这些隐藏漏洞的方法。首先，他们利用修改后的随机程序生成器 YARPGen 创建了行为已知存在差异的函数对，以检查 Alive2 是否能正确识别这些差异。其次，他们利用了超优化器 Minotaur，该工具经常调用 Alive2 来测试符号候选方案。如果 Minotaur 生成了编译错误的程序，就隐含地暴露了 Alive2 中的漏报。
尽管进行了严密的测试，但作者发现的漏报极少，这表明 Alive2 的可靠性很高。不过，他们指出这种搜索并非详尽无遗；未来的工作应侧重于对函数属性等目前测试不足的功能进行压力测试。归根结底，作者强调，对形式化验证的信任，必须像对待任何其他关键软件系统一样，通过“严苛、繁琐”的工程实践和测试来建立。
抱歉。
本项目提供了一个稳健且与引擎无关的静态分析工具，旨在消除 20 世纪 80 年代和 90 年代 Sierra SCI 冒险游戏（如《休闲西装拉瑞 2》和《国王密使 IV》）中导致无法通关的“软锁”状态。
与手动补丁不同，该工具利用抽象解释技术将游戏脚本反编译为包含状态转换、物品移动和剧情标记的图表。它能自动识别“单向”路径，即玩家一旦进入该状态便无法获得胜利，随后推导出并编译相应的“防护机制”，除非玩家拥有必要物品，否则无法通过。该系统智能地将防护点设置在最后可能的时机，允许玩家在进入该路径前纠正库存状态。
由于该工具直接从游戏代码中推导出所有特定游戏数据（获胜条件、死亡触发点、起始房间），因此无需针对新游戏进行手动配置。生成的补丁与原始引擎及 ScummVM 均兼容。该流程使用 Python 3 标准库编写，利用 C# 反编译器和无头 C++ 编译器来生成非破坏性且可移除的补丁。目前已成功分析并测试了四款游戏。
一位开发者创建了名为“The Lucasartsifier”的静态分析工具，旨在修复经典雪乐山（Sierra）冒险游戏（如《国王密使》和《拉瑞休闲西装》）中的“死局”状态。这些游戏以允许玩家在遗漏必要物品的情况下继续推进流程而闻名，导致玩家在数小时后才发现无法通关，且无法意识到自己已陷入死循环。
该工具通过反编译雪乐山资源文件，自动识别这些无法通关的条件并生成补丁以防患于未然。目前，它支持《拉瑞休闲西装2》、《国王密使4》和《国王密使6》以及《劳拉·鲍2》，针对《国王密使5》的开发工作也在进行中。开发者负责设计逻辑和进行游戏测试，并利用人工智能处理编码和技术实现。
该项目在 Hacker News 上引发了一场关于 80/90 年代游戏设计“残酷性”的怀旧讨论，当时这类陷阱往往是有意设置的，旨在推销攻略书或提示热线。尽管一些用户对利用人工智能编写代码和文档的做法存有争议，但社区普遍赞扬该工具是复古游戏领域一项非常有价值的体验改进。
2013年一场风暴过后，平洲（Binh Chau）沉船在越南被发现，为研究9世纪末的海上贸易提供了重要窗口。该遗址最初遭到劫掠，但仍出土了一批陶瓷货物，主要包括长沙窑、越窑、邢窑及广东地区瓷器。这些瓷器与著名的唐代“黑石号”（Belitung）沉船所载类似，但年代要晚约50至70年（约公元870年代）。
至关重要的是，平洲沉船显示出东南亚的造船工艺，与“黑石号”的西亚“独桅帆船”（dhow）风格不同。货物上发现的阿拉伯语墨书题款表明，这些商品是由外籍商人在逃离中国唐末黄巢之乱（公元878年）的动荡时运载的。历史叙事表明，随着广州等中国主要港口变得不稳定，海上贸易网络出现分散，现代越南境内的区域枢纽成为中国商品的重要转运点。
尽管出土瓷器的质量较唐代鼎盛时期有所下降，但这一发现为研究唐末五代过渡时期的贸易路线变迁提供了重要证据，彰显了在区域政治动荡背景下国际贸易的韧性。
这篇 Hacker News 的讨论围绕着平洲（Chau Tan）沉船的发现展开，这是一项唐代晚期的重要考古发现。该沉船为陶瓷出口模式提供了关键的考古证据，展示了中国瓷器（包括长沙窑、邢窑和越窑瓷器）的演变，并为后来青花瓷等创新奠定了基础。
评论者分享了关于这一发现的各种见解：
* **文化背景：** 该批文物收藏与知名华人收藏家林裕兴（Lâm Dũ Xềnh）有关。
* **象征意义：** 讨论中提到了在文物上发现的六角星图案。用户澄清说，虽然它常被称为“大卫之星”，但在历史上，它更广为人知的是“所罗门之印”，在与犹太教建立联系之前，它已在伊斯兰文化和其他古代文化中被广泛使用。
* **考古价值：** 参与者强调，这些发现不仅仅是沉船本身，还为历史学家重建贸易路线和制造时间线提供了关键证据。
此外，对于有兴趣观看类似海洋考古展览的人，用户推荐了胡志明市历史博物馆。