每日HackerNews RSS

C++ 目前正面临一场身份危机,其特征是两类截然不同的用户群之间日益加剧的裂痕:一类是依赖自动化工具和版本化源码管理的“现代”组织,另一类则是将严格的向后兼容性视为重中之重、“遗留”系统的用户。 C++ 委员会近期重申了 ABI 稳定性并拒绝了“传染性”安全标注,这标志着委员会向后者靠拢,实质上是优先考虑了现状。这导致大型科技公司感到疏远,并对该语言的演进失去信心,其中一些公司(如 Google)已开始探索继任语言。 作者认为,委员会对“安全配置(Safety Profiles)”和“模块(Modules)”等即插即用特性的关注,是专门为了迁就那些无法承担大规模重构的遗留代码库。归根结底,这种分歧并非源于语言本身,而是源于缺乏标准化、高质量的工具和构建系统。通过拒绝打破 ABI 并无视对现代基础设施的需求,委员会试图维持这两个互不兼容阵营的共存,这可能会阻碍语言的发展,并拉大那些能够维护现代 C++ 的群体与困在遗留生态系统中的群体之间的差距。

这篇 Hacker News 讨论探讨了 C++ 的快速演进与追求长期稳定性之间的矛盾。 一位评论者认为,现代 C++ 已成为一个“不断移动的目标”,造成了沉重的维护负担和工具链不兼容问题。他们主张采用类似 Ada 社区那种更缓慢、更审慎的标准化流程,并透露自己目前主要仍在维护旧有的 C++98/03 代码库,以避免因不断迁移而疲于奔命。 相反,另一位参与者则认为坚持旧标准并不切实际。他们指出,移动语义、智能指针、`std::optional` 和 `std::expected` 等现代特性极大地提高了开发效率和代码安全性。他们认为,尽管更新的标准(如 C++20 及后续版本)引入了一些备受争议的复杂性,但语言的演进提供了不可忽视的重要工具。 这段交流突显了 C++ 社区内部的核心分歧:一方优先考虑旧版本的稳定与简洁,另一方则拥抱现代 C++ 标准所带来的强大功能与安全性提升。

Hacker News | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 | 登录 “蓄意破坏”:专家与立法者抨击小罗伯特·肯尼迪摧毁医疗保健研究 (arstechnica.com) 17 点 | 由 01-_- 发布于 58 分钟前 | 隐藏 | 过去 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

请启用 JavaScript 和 Cookie 以继续。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 λλ:一种用于硅光子学的编程语言 (acm.org) 8 点,由 matt_d 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 2 条评论 deepsun 3 分钟前 | 下一条 [-] λλ 的完整语法(摘自论文): e ::= v | x | input(p) | let x = e1 in e2 | (e1, e2) | unpack e1 as (x1, x2) in e2 | phase(θ, e) | split(θ, e) | unitary(U, (e1, e2)) | output(p) <- e1; e2 v ::= r ↓ ℝ | p ↓ Port | U ↓ Unitary | () τ ::= ℝ | Port | Opt | Unitary | Unit | (τ1 * τ2) 回复 tromp 8 分钟前 | 上一条 [-] 第二个 λ 是下标。正如论文脚注 1 所述: > 发音为“lambda lambda”。其中一个 λ 指代 λ 演算,另一个 λ 指代光波长。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```
伯德 Berd 14 小时前

BerdBerd 是一款古怪又有趣的桌面应用,用于构建 AI 智能体。

Hacker News 社区目前正在讨论“Berd”(berd.xyz) 这个项目,其反响褒贬不一。一些用户称赞该网站的品牌设计“好到疯狂”且令人过目难忘,但也有人认为其美学风格令人不安,将其形容为“天线宝宝”与 90 年代赛博朋克风格的“诡异”结合。 技术和功能方面的批评也十分突出。一位用户指出,该网站的“彩蛋”页面在移动设备上存在严重的性能卡顿。此外,批评者认为该项目是一种不必要的抽象,以一种几乎没有实际用途的方式进一步将大语言模型(LLM)拟人化了。相反,一些评论者将这种怪异的设计解读为一种刻意的、具有自我意识的艺术项目,旨在讽刺现代 AI 聊天机器人通常采用的那种过于友好、“乐于助人”的人设。总的来说,讨论区反映了两种极端的观点:一方欣赏其独特、难忘的设计,另一方则认为这是一种令人尴尬或不切实际的潮流。

演化人类学家大卫·萨姆森(David Samson)在其著作《不眠之猿》(*The Sleepless Ape*)中探讨了“睡眠悖论”:尽管睡眠对人类健康和认知至关重要,但人类却是灵长类动物中睡眠时间最短的,却也是演化上最成功的物种。 通过对坦桑尼亚哈扎部落及其他小规模社会的研究,萨姆森挑战了西方对于“原始睡眠”的理想化观念——即认为连续、长时间的睡眠在生物学上是必不可少的。他解释说,人类演化出了一套独特的“睡眠生态”(SHELL:庇护所、热量、环境、光线、守望),这使得人类能够进行更短、更高效且富含快速动眼期(REM)的睡眠。 萨姆森认为,现代的“八小时”睡眠标准与其说是生物学上的必然,不如说是后工业时代劳动规范的产物。他主张,当今许多睡眠问题源于演化上的不匹配,特别是我们缺乏对自然光照和温度波动的接触。他提倡“睡眠觉醒”,即比起单纯追求睡眠时长,更应优先考虑昼夜节律的功能。通过顺应自然的各种环境信号,现代人无需拘泥于僵化、过时的睡眠模式,也能获得令人满意的优质休息。

```Hacker News 最新 | 往期 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 人类睡眠为何出了问题 (nautil.us) 21 点,由 XzetaU8 发布于 48 分钟前 | 隐藏 | 往期 | 收藏 | 2 条评论 | 帮助 Flashtoo 4 分钟前 | 下一条 [–] > 一些新兴研究表明,地球磁场也很重要。赤脚踩在地面上与身处市中心摩天大楼 30 层高处,处于完全不同的磁场环境中。 真的吗?我对此的第一直觉反应是这是伪科学。如果这是真的,我很想看到相关的头条新闻。 回复 montebicyclelo 12 分钟前 | 上一条 [–] 睡眠更加破碎,人们在夜间说话等等。我猜这与大多数人必须忍受的汽车和飞机发出的低沉、不自然的隆隆声有所不同。 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

为了提高平台可靠性并满足 99.99% 的服务等级协议 (SLA),incident.io 将其单一提供商的事件驱动架构(仅依赖 Google Cloud Pub/Sub)转型为使用 NATS 作为辅助提供商的主动-主动(active-active)多代理架构。 此次转型的关键在于平台现有的 `eventadapter` 抽象层,它允许工程师无需修改应用层代码即可实施新的负载均衡策略。该负载均衡器通过对消息 ID 进行哈希处理,将流量 50/50 分配给两个代理,并使用断路器在提供商性能下降时自动触发静默故障转移。 在消息消费方面,团队基于“最旧单元优先”(Oldest Cell First)排队算法实现了一个“公平加权”调度器。这确保了系统能够优先处理等待时间最长的消息,无论其来自哪个代理,从而保持了一致的资源利用率和吞吐量。 该项目通过严苛的生产环境混沌测试进行了验证,包括人为删除 NATS 集群和模拟 Pub/Sub 中断。测试证实,系统能够在不影响客户且无需人工干预的情况下承受整个代理的故障。这一设计成功消除了一个主要的单点故障,显著提升了平台的整体韧性和运行稳定性。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 我们关掉了 Pub/Sub,结果没人发现 (incident.io) 21 分,patrickhamann 发布于 1 小时前 | 隐藏 | 过往 | 收藏 | 3 条评论 | 帮助 rorymalcolm 1 小时前 | 下一条 [-] 免责声明:我在 incident 公司工作。 这是一个典型的项目,其最终目标是制造出一个最可怕的按钮。在按下那个按钮之前,你无法完成这个项目。你做了所有的工作来制造这个按钮,然后你必须按下它。 过程永远都很可怕,也未必总是那么有趣,但绝对属于“第二类乐趣”(注:指事后回想起来很有趣的痛苦经历)。 回复 shintoist 1 小时前 | 上一条 | 下一条 [-] NATS 是一项非常酷的技术,值得比现在更多的关注。 回复 jdon 1 小时前 | 父评论 | 下一条 [-] 考虑到他们最近与 CNCF[0] 的争执,我不确定自己还能多信任它。 [0] https://www.cncf.io/blog/2025/05/01/protecting-nats-and-the-... 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

由于您没有提供具体的内容,请将需要翻译的文字粘贴在下方。

抱歉。

像 Alive2 这样用于验证 LLVM 编译器优化的形式化验证工具,是容易出现缺陷的复杂系统。“误报”相对容易检测,但“漏报”(即工具错误地批准了无效优化)却以难以识别而著称。 作者详细介绍了两种旨在揭示这些隐藏漏洞的方法。首先,他们利用修改后的随机程序生成器 YARPGen 创建了行为已知存在差异的函数对,以检查 Alive2 是否能正确识别这些差异。其次,他们利用了超优化器 Minotaur,该工具经常调用 Alive2 来测试符号候选方案。如果 Minotaur 生成了编译错误的程序,就隐含地暴露了 Alive2 中的漏报。 尽管进行了严密的测试,但作者发现的漏报极少,这表明 Alive2 的可靠性很高。不过,他们指出这种搜索并非详尽无遗;未来的工作应侧重于对函数属性等目前测试不足的功能进行压力测试。归根结底,作者强调,对形式化验证的信任,必须像对待任何其他关键软件系统一样,通过“严苛、繁琐”的工程实践和测试来建立。

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 在形式化验证工具中寻找漏报的漏洞 (regehr.org) 8 分,由 luu 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 讨论 帮助 | 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

本项目提供了一个稳健且与引擎无关的静态分析工具,旨在消除 20 世纪 80 年代和 90 年代 Sierra SCI 冒险游戏(如《休闲西装拉瑞 2》和《国王密使 IV》)中导致无法通关的“软锁”状态。 与手动补丁不同,该工具利用抽象解释技术将游戏脚本反编译为包含状态转换、物品移动和剧情标记的图表。它能自动识别“单向”路径,即玩家一旦进入该状态便无法获得胜利,随后推导出并编译相应的“防护机制”,除非玩家拥有必要物品,否则无法通过。该系统智能地将防护点设置在最后可能的时机,允许玩家在进入该路径前纠正库存状态。 由于该工具直接从游戏代码中推导出所有特定游戏数据(获胜条件、死亡触发点、起始房间),因此无需针对新游戏进行手动配置。生成的补丁与原始引擎及 ScummVM 均兼容。该流程使用 Python 3 标准库编写,利用 C# 反编译器和无头 C++ 编译器来生成非破坏性且可移除的补丁。目前已成功分析并测试了四款游戏。

开发者“wkfauna”发布了一款名为“Lucasartsifier”的静态分析工具,旨在消除经典雪乐山(Sierra)冒险游戏中的“死局”(walking-dead states)。这些游戏以允许玩家陷入无法通关的困境而闻名——例如在游戏初期错过关键道具,直到数小时后才发现无法继续。 该工具通过反编译雪乐山资源文件来映射游戏逻辑,并自动注入补丁,防止玩家在未收集必要道具的情况下推进剧情。目前,该工具支持《休闲西装拉瑞2》(Leisure Suit Larry 2)、《国王密使4和6》(King's Quest 4 and 6)以及《劳拉·鲍2》(Laura Bow 2),《国王密使5》正在开发中。 该项目在人工智能(Claude)的协助下构建,用于处理代码和文档。其目的是通过消除“软锁死”带来的挫败感来对这些经典作品进行现代化改造。Hacker News 上的反响非常热烈,用户对这些提升游戏体验的改进表示赞赏,尽管一些参与者对人工智能在开发过程中的作用程度进行了讨论。创作者认为,该项目既是一种保留这些经典作品的方式,也解决了它们广受诟病、有时甚至显得“恶意”的设计缺陷。

2013年一场风暴过后,平洲(Binh Chau)沉船在越南被发现,为研究9世纪末的海上贸易提供了重要窗口。该遗址最初遭到劫掠,但仍出土了一批陶瓷货物,主要包括长沙窑、越窑、邢窑及广东地区瓷器。这些瓷器与著名的唐代“黑石号”(Belitung)沉船所载类似,但年代要晚约50至70年(约公元870年代)。 至关重要的是,平洲沉船显示出东南亚的造船工艺,与“黑石号”的西亚“独桅帆船”(dhow)风格不同。货物上发现的阿拉伯语墨书题款表明,这些商品是由外籍商人在逃离中国唐末黄巢之乱(公元878年)的动荡时运载的。历史叙事表明,随着广州等中国主要港口变得不稳定,海上贸易网络出现分散,现代越南境内的区域枢纽成为中国商品的重要转运点。 尽管出土瓷器的质量较唐代鼎盛时期有所下降,但这一发现为研究唐末五代过渡时期的贸易路线变迁提供了重要证据,彰显了在区域政治动荡背景下国际贸易的韧性。

```Hacker News最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 投稿登录越南滨州(周新)晚唐沉船 (koh-antique.com)25 分,发布者:teleforce,3 小时前 | 隐藏 | 往日 | 收藏 | 讨论关于船只发现的视频与说明:为什么这种木材价值 360 美元/公斤:https://www.youtube.com/watch?v=u5b5bKlvdhQ 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请加入 YC | 联系 搜索: ```

更多

联系我们 contact @ memedata.com