启用JavaScript和Cookie以继续
每日HackerNews RSS
一篇 Hacker News 帖子讨论了澳大利亚联邦法院的一项裁决，该裁决要求 Apple 允许替代性的 iOS 应用分发方式，包括直接下载和第三方应用商店，但需接受自动化安全/隐私扫描和公证。评论者就其影响展开辩论。支持者认为这是用户自由、开发者公平以及开源应用商店等替代方案的胜利，并有人指出 Apple 的佣金和对开发者的不平等待遇。批评者提出安全和企业方面的担忧，担心恶意软件和设备管理，不过也有人指出沙盒和公证机制仍然存在。帖子还涉及支付费用问题、对 Apple 合规的怀疑、可能的上诉，以及要求各平台适用更广泛规则的呼声。总体而言，反应不一：有人欢迎 App Store 控制权减弱，也有人担忧安全与信任之间的权衡。
无法翻译：内容为压缩的 PDF 流，无法直接读取。
Hacker News 讨论了 OpenAI 声称的 o(n log n) 整数乘法突破。David Harvey 是一位领先专家，也是先前 O(n log n) 结果的共同作者，他说新界限看起来合理，尽管他尚未完全读完或验证论文，并依靠 LLM（Fable）进行解释。其他人制作了 Lean 形式化。评论者争论 AI 生成的证明是否算作被理解的数学、LLM 解释是否可靠，以及结果是否实用；多数人认为它主要是理论性的，只与天文般大的整数相关。帖子还澄清 little-o 表示严格慢于 big-O 的增长，OpenAI 的结果在先前界限之外再小幅改进了一个指数。一些人担心依赖专有 AI，而另一些人认为形式化验证与人类阐释是理解之路。
Oliver Grabner 构建了一个多智能体 Pokémon Showdown 双打环境，用于测试 LLM 协作。每回合，两个 Qwen3.8-27B 智能体进行私密协调，模式从自由聊天到无对话不等。对阵脚本化的最大伤害机器人，自由聊天胜率为 64%，无对话为 42%；每人一条消息胜率为 52%，单模型控制双方胜率为 54%。对话改善了协作但消耗了 token：自由聊天每场对战使用 978k 提示 token，而无对话为 259k。更强的模型也能击败更弱的队伍（对 2B 为 96%，对 9B 为 74%），表明该环境可以对模型进行基准测试。未来工作包括将对话与招式可见性分离、建立排行榜，以及针对协作行为进行 RL 训练。
一个 Hacker News 讨论帖讨论了让大语言模型代理玩 Pokémon Showdown 的实验。评论者提到围绕一个强化学习训练机器人、使用 Rust 战斗引擎重写冲上排行榜榜首的单独争议。讨论涵盖影响：Pokémon Showdown 可能缺乏有效机器人检测，可能使嫌疑测试系统失效并助长作弊，同时一些人哀叹天梯越来越像机器人填满，并表达对线下游戏的怀旧。其他人争论方法论，询问队伍选择、伤害判定、VGC 公开队伍单和推理水平。作者表示他们使用了固定种子队伍池，尚未测试天梯对战，代理能击败业余玩家但仍然可被击败；他们将未来 AI 比作 Stockfish。一些人认为像 Jev 这样的专用模型可能表现更好，但它们缺乏队友沟通和推理，而更广泛的 LLM 能力仍在持续提升。
请启用 JavaScript 和 Cookies 以继续
对不起
超越与 Beyond the &
2 天前
Tyler Mandry 介绍了 Rust 的“Beyond the &”工作，旨在让用户定义的智能指针与内置引用一样灵活。内置引用允许借用检查器跟踪不相交的字段访问，但像 `MutexGuard` 这样的智能指针会遮蔽这些关系，导致在可变借用活跃时闭包读取状态时出现借用检查器错误。拟议设计通过新的句柄类型和特质（如 `ReadPlace`、`WritePlace`、`ProjectPlace` 和 `BorrowPlace`）暴露编译器“place”。库实现这些特质，以教借用检查器如何通过自定义指针读取、写入、投影字段和创建借用。这可能让 `MutexGuard` 的行为像可变引用，并启用智能指针背后的模式匹配。该设计还将内置引用行为映射到同一机制。它仍处于原型阶段，语法、诊断、破坏性模式匹配和枚举投影等方面的问题仍在进行中。Mandry 邀请库作者测试并报告障碍。
对不起。
CSS 定义了浅色与深色主题的颜色变量。浅色主题使用温暖的离白表面、深色墨水文本和鸢尾紫强调色；深色主题使用近黑色表面、离白文本和更亮的鸢尾强调色。每个主题设置画布、表面、细线、墨水、淡墨水、强调、链接、焦点和强调上颜色，并在注释中注明对比度。深色模式依靠抬升表面而非边框来表现层次。媒体查询在系统偏好深色模式时自动应用深色调色板，直到通过 `data-theme` 属性明确选择主题。
一位韩国独立开发者推出了轻量级博客平台 **Bloffy**，PageSpeed Insights 得分 99–100。它支持 Markdown 和原始 HTML，避免不必要的 JavaScript 和平台注入广告，允许自定义广告投放，并支持多博客。图片通过 srcset 和 CDN 优化；图表/数学在发布时渲染为 SVG/MathML。目标用户是希望完全自定义控制的开发者和 SEO 专业人士。
反馈指出了几个问题：落地页过于技术化，与竞争对手的差异不明确，演示 GIF 速度过快，以及 CSS 泄露到文章摘要。开发者修复了包括韩语确认邮件、非英语站点注册失败和 CSS 泄露在内的 bug。建议包括提供注册前演示，以及澄清“翻译”仅创建子页面而非翻译内容。该服务为托管服务（非开源），开发者正在谨慎考虑 MCP 功能。除实验室分数外，真实世界的 Core Web Vitals 仍需验证。
一项由圣母大学支持的调查于2025年8月对557名美国人进行了关于自我提升与道德自我评估的研究。年轻成年人更可能表示自己在道德上离应成为的人相去甚远，而55岁及以上的成年人更常感到接近或已经达成。老年人还报告说每天更努力地改善品行，但较少反复思量对错。宗教参与程度有影响：信教并实践的受访者，尤其是年轻成年人，比不实践或非宗教的受访者更多地反思道德。在年轻成年人中，宗教受访者更可能感到接近自己的道德理想；在老年人中，非宗教受访者最可能感到接近或已经达成。将道德自信减去反思程度综合来看，年轻宗教成年人在缺乏高度自信的情况下进行了大量灵魂搜寻，而年长非宗教受访者表现出最大的道德满足感。总体而言，自我提升与道德反思在年轻与宗教受访者中显得更强，而老年人——尤其是非宗教者——感到道德上更安定。
对不起。
作者受要求面试候选人出声思考的启发，开始在玩《The Witness》时叙述自己的推理过程。尽管起初怀疑，他们发现这使解谜更有效、更投入。出声思考会把未明确的假设摆到台面上，线性地组织推理，并创造有用的抽象。它还能调动审慎的系统 II 思考，帮助追踪以便回溯的任意选择，并可能借助回声记忆扩展工作记忆。收益可能部分反映霍桑效应，但研究表明有适度提升。作者计划更广泛地使用这一技巧。
对不起。
Airbnb禁止房东在11月20日及之后预订的订单房屋守则中要求房客完成耗时的退房任务。房东不得要求房客进行大量清洁工作，Airbnb将更醒目地展示此类要求，并对含清洁要求的房源进行警告。隐藏在消息或标牌中的额外规则也被禁止。部分房东因健康担忧提出反对，但Airbnb允许例外，如在熊出没地区将垃圾放入防动物容器。
对不起。
本 PR 将已验证的新鲜辅助重定时应用于 #4440 的查询稀疏复杂控制器中的全部 19 个完整原生调用，同时保留付费剪枝、空闲调用、主算子以及更强的 BIT 供应器。它产生作者检查的条件界 T(n)=O(n(log n)^(1-0.00300105))，提高 kappa，优于 #4440、#4416 和固定值 0.0023。该构造保留 11,560 个生产字段，将付费调用从 72,902 减少到 69,273（节省 3,629），并保留 800 的秩质量盈余。精确区间将 kappa 置于约 0.003001054183，约有 4.18e-9 余量；变更后的 profile 要求 gamma<97/100。验证包括重放源验证器、原生依赖检查、C++ 优化器补丁再生、预检、最小导航修复以及通过的科学作业，但三个归档 CI 检查仍为红色。该工作不作出选定前沿、无条件、运行时、最优或形式接受主张，并等待审查。致谢归于前代构造及其贡献者。
抱歉。