每日HackerNews RSS

“死亡循环”(Doom loops)是指推理模型反复输出相同短语直至耗尽上下文窗口的常见故障模式,在小型模型解决复杂的数学或编程问题时尤为明显。当模型因不确定性而依赖于过度训练的语篇标记(例如“等等”、“或者”)时,这些循环便会产生,从而强化重复性周期。 为了解决这一问题,Liquid AI 推出了 **Antidoom**。这是一种针对性的干预措施,避免了通用重复惩罚通常会导致的性能下降。该方法利用**最终标记偏好优化(FTPO)**,识别出触发循环的具体标记,并训练模型在相同位置优先选择连贯的替代词。与标准的 DPO 不同,FTPO 使用了对数空间正则化,并允许存在多个“被选定”的替代项,以防止对常用标记的过度抑制。 在 LFM2.5 和 Qwen3.5-4B 模型上的测试表明,Antidoom 大幅降低了循环率(通常从 20% 以上降至 2% 以下),且无需引入新知识。通过消除这些循环,模型在基准测试中获得了更高的分数,这表明在高温度系数下观察到的性能下降,很大程度上是由重复性退化导致的,而非模型本身能力的局限。Antidoom 提供了一种精确且高效的流程,能够在保持模型原有能力的同时稳定推理轨迹。

对不起。

请启用 JavaScript 和 Cookie 以继续。

关于 **govauctions.app** 的一则 Hacker News 讨论引起了关注,该项目旨在汇总美国政府名下价格低于 10 万美元的房产信息。尽管开发者旨在帮助用户寻找负担得起的房产,但该网站在社区中引发了质疑。 批评者认为,该项目有“标题党”之嫌,因为它突出了低廉的挂牌价,却忽略了隐藏成本。用户指出,许多此类房产已破败不堪,需要拆除,或者背负着买家必须承担的巨额欠税。评论者指出,一套挂牌价 3,000 美元的房子,在算上补缴税款和翻新费用后,实际成本可能超过 20 万美元,这本质上是以高溢价购买土地。 尽管开发者专门设置了“购买前须知”板块来提醒这些注意事项,但这次讨论凸显了一个普遍的分歧:该工具虽然为联邦房产清单提供了新颖的数据可视化,但用户警告称,广告中的价格并不能真实反映所需的财务投入。

本网站正在使用安全服务以抵御网络攻击。您刚才的操作触发了安全防御机制。触发此拦截的原因可能有多种,包括提交了特定的词汇或短语、SQL命令或格式错误的数据。

这篇 Hacker News 帖子探讨了开发人员和团队在面对系统故障时,常会坚持认为“我们这边什么都没改”,却往往忽略了外部变量的普遍倾向。 参与者指出,这种心态常导致人们忽视简单的解释,例如部署失败或代码处理输入数据时的逻辑缺陷。一位评论者指出,即便代码库保持不变,它也与动态环境相互作用——外部依赖、不断变化的用户输入以及不可预测的系统行为——这些因素实际上每天都在改变系统的执行路径。 讨论强调了“韧性软件”设计的重要性:开发人员必须接受这样一个事实,即他们的系统本质上与不可控且不断演变的环境耦合在一起。工程师们被鼓励去预见代码最终会与意想不到的输入和不断变化的外部条件产生交互,而不是下意识地责怪基础设施或默认系统是稳定的。大家一致认为,承认这种缺乏绝对控制的状态,对于有效的故障排除和系统设计至关重要。

Better Auth 正加入 Vercel,这是该项目发展过程中的一个重要里程碑。Better Auth 源于创始人对更符合工程直觉、且与框架无关的身份验证解决方案的需求,从一个个人副业项目成长为被广泛采用、由社区驱动的框架。 通过加入 Vercel,团队获得了更多的资源,能够更加坚定地致力于开源和开发者自主的身份验证。这次合作使团队能够将重心从商业化策略转回其核心使命:构建开发者可以自行托管的强大且灵活的身份验证工具。 展望未来,双方的合作将优先关注 Web 开发的下一个前沿领域:代理工作流(agentic workflows)。随着 AI 代理越来越多地代表用户进行操作,对安全、受限且可撤销的访问权限的需求变得至关重要。通过将 Better Auth 框架和 Agent Auth 协议集成到 Vercel 广泛的基础设施中,团队旨在为 AI 驱动的代理未来建立身份和访问控制的新标准。创始人对社区、投资者和 Vercel 团队促成此次转变深表感谢,这确保了该项目在扩大影响力的同时,能够始终保持其开源的初心。

Better Auth 已被 Vercel 收购,此举在 Hacker News 的开发者社区中引发了褒贬不一的反应。 支持者向团队表示祝贺,他们认为 Better Auth 是 Next.js 开发者的热门选择,并将此次收购视为提升开发者体验的积极举措。然而,相当一部分讨论表达了质疑。批评者担心 Vercel 可能会将该项目转向其闭源云服务,这导致一些用户开始重新考虑是否要继续依赖该库。 此次收购再次点燃了关于开发者应使用第三方认证库还是“自研方案”的长期争论。虽然一些人认为自研方案可以避免供应商锁定和对企业路线图的依赖,但行业专家警告称,认证系统的复杂性往往被低估了。他们指出,多因素认证(MFA)、通行密钥(Passkeys)和 SAML 集成等功能,会迅速将简单的登录系统变成沉重且高风险的项目,从而分散团队开发核心产品的精力。总的来说,社区观点分化为两派:一派优先考虑易用性,另一派则优先考虑长期独立性。

在一项历史性的重组中,Xbox 宣布将在 2027 财年之前裁员约 3,200 人,其中 1,600 个职位立即裁撤。此次重大转型还包括将四家工作室转交新的管理层。 受创最严重的团队之一是 id Software,这家标志性 *idTech* 引擎背后的传奇开发商。据报道,该引擎团队的大部分(甚至可能是全部)员工已被裁员。这一进展标志着该工作室可能迎来一个重大的转折点,它长期以来一直是第一人称射击游戏领域的支柱。 Xbox 新任首席执行官 Asha Sharma 称此次公司范围的转向是必要的,并承认了重组的困难和规模。随着社交媒体和行业报告披露更多细节——包括 id Software 资深员工的证实——游戏界正面临这一行业最具影响力的技术基石之一可能衰落的局面。

《Game From Scratch》近期的一篇报道称微软可能裁撤了 id Software 的 IdTech 团队,这一消息在 Hacker News 上引发了激烈讨论。虽然一些评论者质疑该裁员消息缺乏确凿证据,但另一些人则将其视为整个行业重组这一令人担忧的大趋势的一部分。 许多用户对 IdTech 的潜在消亡感到惋惜。作为曾用于《毁灭战士》、《德军总部》和《印第安纳琼斯》系列游戏的传奇自研引擎,人们担心未来的项目将被迫转用虚幻引擎等通用替代方案。批评者认为,微软正在为了短期削减成本而牺牲长期的技术专长,用可替代的承包商取代专业的内部团队。 讨论还涉及了大规模行业整合所带来的危险。参与者质疑微软为何不选择出售该技术而非将其拆解,并担忧该公司内部的“中层管理”文化正在扼杀创意产出。一些用户认为,这只是行业整体衰退的最新篇章,并预测暴雪娱乐将成为下一个面临大规模裁员的工作室。

欧洲议会以微弱优势(331票对304票)投票通过了一项关于“聊天控制”(Chat Control)的紧急动议,以加快其推进速度。此举意味着议会将于周四进行最终投票,以恢复一项于4月到期的过渡性法规。该法规允许科技公司在没有具体怀疑的情况下,自愿扫描私人数字通信中的儿童性虐待材料。 这一由欧洲人民党(EPP)推动并得到欧盟委员会支持的举动,遭到了反对者的强烈批评,他们谴责这是一场旨在绕过民主辩论的程序“闹剧”。虽然支持者认为延长该法规对于弥补关键监管漏洞是必要的,但批评者将其视为对隐私的侵犯和一种大规模监视手段,并指出议会此前已两次否决过该延期。 由于此次投票被安排在夏季休会前的最后一天,支持者获得了策略上的优势,因为现在通过修正案或否决该动议需要更高的绝对票数门槛。公民权利活动人士和信息安全专家持续警告称,基于人工智能的扫描方法存在缺陷,且威胁到公民隐私;他们担心此举还会降低欧盟各国政府制定更有效、更有针对性立法的压力。

“聊天控制”法案已在欧盟议会通过首轮表决,目前进入最终批准的快速通道。由于立法时间正值暑期休会前的二读阶段,通过该法案的要求已发生变化。 支持者目前拥有显著的战术优势:反对者需要获得 361 票的绝对多数才能阻止或修订该法案,而支持者只需在场议员的简单多数票即可。批评人士认为,这一时间安排实际上利用了议员在假期前出席率低的预期,使得法案的通过几乎已成定局。 这种情况引发了观察人士的强烈不满,他们认为这种反复投票的程序并不民主,并指出法案正被不断推动,直到最终获得所需支持。外界普遍预计,本周四投票时,将没有足够的反对票来阻止该法规的通过。

选择您的数据规模及所需的吞吐量。每个点代表一个经过基准测试的实例与磁盘组合;目标线右侧的所有点均满足您的需求,其中价格最低者即为最优选择。 想要查看原始数据?请参阅完整的基准测试数据 → 上下文 工作负载:90% 读取 / 10% 写入 并发数:32 PostgreSQL 版本:17 区域:us-east-1 定价:按需付费

*Sane Engineer* 的创始人 Andrei 开发了一款新工具,旨在帮助开发人员优化 AWS EC2 上的 PostgreSQL 性能与成本。由于对过于复杂的后端架构感到不满,Andrei 正致力于推广“精益”基础设施方案。 该工具允许用户输入具体需求(如目标每秒请求数 RPS 和所需的磁盘大小),从而识别出最符合其 PostgreSQL 工作负载成本效益的 EC2 实例类型。当前数据基于对 23 种不同实例类型和磁盘配置在 90/10 读写混合工作负载下的基准测试。 为了确保透明度和可扩展性,该方法论已完整记录在案,且基准测试套件(*sanebench*)采用开源模式,允许社区贡献更多的工作负载场景。Andrei 目前正在征求反馈与建议,以决定接下来应针对哪些具体的数据库工作负载进行测试。你可以访问 [postgres.saneengineer.com](https://postgres.saneengineer.com) 探索该工具及其数据。

钠离子电池正在成为锂离子技术一种可行且具成本效益的替代方案,预示着能源格局的潜在转变。以盐为主要原材料,这些电池为储能提供了一种更便宜、更充足且更可持续的选择。 虽然钠离子电池比锂电池更重,但以宁德时代(CATL)为首的制造商在能量密度方面取得的最新进展,已使其在经济型电动汽车和电网储能领域具备了竞争力。除成本外,钠离子技术还拥有显著的性能优势:由于火灾风险降低,其安全性更佳;且在极端温度下表现出卓越的耐用性。值得注意的是,它们在零下40°C时仍能保持90%的容量,解决了锂电池在寒冷气候下的主要弱点。 随着产能提升和成本持续下降,专家们认为钠离子电池将“开辟一个超越锂电的世界”。它们有望在家庭储能、货物运输和经济型电动汽车等领域占据主导地位,并可能引发一场“电池革命”,使清洁能源技术在日常使用中更加普及和可靠。

近期的一场 Hacker News 讨论探讨了钠离子电池在电动汽车和电网储能领域引发变革的潜力。支持者指出,这些电池正变得日益具备与锂离子电池竞争的能力,虽然重量增加了约 33%,但在低温环境下的性能表现更佳。至关重要的是,由于它们产生的热量更少,因此有望降低火灾风险和冷却成本。 社区对此反应不一。一些用户持怀疑态度,认为该报告只是“革命性”电池炒作周期中的又一个案例。另一些人则强调了实际障碍,例如需要提高产量以降低成本,以及关于消防安全的持续争论——尽管有人指出,从化学性质上看,钠可能比锂更安全。 讨论的其他议题还包括:电动汽车电池架构的标准化能否推动竞争,以及海水能否作为生产的充足原料。虽然一些参与者对该技术在中国的发展速度表示担忧,但另一些人提醒称,钠离子电池背后的基础科学其实早在几十年前就已在美国率先研发出来。

请启用 JavaScript 并关闭广告拦截器

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 哲学专业的反击 (nytimes.com) 10 分,由 benbreen 在 18 分钟前发布 | 隐藏 | 过往 | 收藏 | 2 条评论 | 帮助 seasox 1 分钟前 | 下一条 [–] https://archive.ph/7A8cW 回复 chunkyslink 8 分钟前 | 上一条 [–] 如何绕过付费墙?(不付费的话) 回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:

非对称线程栅栏(Asymmetric thread fences)是一种并发优化技术,它将算法的同步开销从“常用路径”转移到了“非常用路径”。通过在频繁执行的路径上使用轻量级的编译器屏障,并在低频路径上使用重量级的同步原语(例如 Linux 的 `membarrier()` 系统调用),开发人员可以在不牺牲正确性的前提下提升整体性能。 Linux 中这种“重量级”的实现依赖于发送处理器间中断(IPI),强制其他核心上的线程执行内存屏障。这确保了内存操作在全局范围内是有序的。在 C++ 中对这些栅栏进行形式化定义已被证明十分复杂;早期的方案均告失败,原因要么是引入了非预期的传递性(导致了过于严格的性能惩罚),要么是无法建立防止非原子变量数据竞争所需的“先发生”(happens-before)关系。 目前的标准化工作旨在通过限制非对称栅栏对顺序一致性操作全局顺序的影响,并优化释放-获取(release-acquire)语义来解决这些问题。这仍是 C++ 内存模型中一个不断发展的领域,凸显了高级语言抽象与现代多核系统底层硬件现实之间微妙的平衡。

抱歉。

更多

联系我们 contact @ memedata.com