许多人高估了进入海洋的塑料垃圾数量。在2020年Gapminder于瑞典、挪威、芬兰、丹麦和英国开展的一项调查中，近90%的人认为超过三分之一的塑料垃圾最终会进入海洋，但正确的数字约为0.5%。根据OECD数据，全球每年产生约3.5亿吨塑料垃圾。大部分都通过安全填埋、回收或焚烧得到负责任的处理；约四分之一被不当管理或随意丢弃。其中，只有不断减少的一部分泄漏到环境、河流、海岸线，最终进入海洋——约170万吨，占塑料垃圾总产生量的0.5%。由于只有极小比例进入海洋，塑料污染应比人们想象的更容易解决。我们已经妥善管理了大部分塑料；挑战在于确保所有塑料都得到负责任的处理。文章对此有更详细的探讨。
每日HackerNews RSS
Hacker News 上的一场讨论回应了显示英国人均发电量低于20世纪70年代的数据。评论者就其原因展开争论：效率提升（LED灯、家电）、去工业化和离岸外包、价格上涨，以及电力进口增加。一些人认为这反映了经济衰退和由成本导致的能源配给；另一些人则表示，这主要是效率提升和需求下降，而非有计划的配给。有几位指出，户用太阳能和现场发电可能表现为需求下降。该帖还争论用电减少是否是好事，并援引杰文斯悖论、热泵、电动车、空调和分时需求响应。有人将工业增长疲弱归咎于私有化、电网规划和高价格；另一些人则为效率和智能电网灵活性辩护。总体而言，这场辩论将该统计数字解读为绿色成功、去工业化的征兆，或两者兼有，并在能源政策、增长和生活水平上存在分歧。
在《你的游戏就是一套测试基架》一文中，作者认为，LLM 在游戏开发上举步维艰，因为游戏包含非代码系统——资源、状态、手感——这与 Web 应用不同。解决方案是通过上下文工程以及确定性、可检查的架构，让游戏对智能体变得可读。关键做法包括：为所有随机性设定种子；支持轻松截图，并用 odiff 做图像差异比对；从一开始就构建稳健的存档/读档；使用单一的“Thing”对象模型；实现可序列化命令；将数据外置，以实现无需编译的迭代；把模拟分离成一个由命令驱动的黑盒库；以及使用像 samply 这样文本可读的性能分析。这些技术收紧了智能体循环：智能体可以复现状态、做出最小改动、验证视觉和性能影响，并自主迭代。最终，游戏本身就变成了测试基架——任何游戏都可以被组织成自己的 AI 辅助开发环境。文章还指出，这些做法对一般游戏开发也有益，尽管小型项目可能不需要它们。
Hacker News 上针对一篇关于为游戏开发构建 AI 框架的文章的讨论中，评论者大体认同大语言模型能一次性生成原型或简单游戏，并在脚手架搭建、工具、重构、平衡性测试和迭代基础设施方面很有用。但它们在迭代打磨上表现不佳：小的功能改动往往会破坏现有行为、架构、性能和手感。许多人认为，游戏开发的难点仍然是品味、创造力、新颖机制、艺术方向，以及难以用语言描述的微调细节。建议包括使用确定性/可验证引擎、测试、截图、无头模拟，以及让大语言模型为人类构建工具，而不是取代人类。怀疑者表示，大语言模型最适合小型独立/实验项目，而非复杂的 3A 游戏，并且披露和署名很重要。其他人则报告在简单游戏上取得了成功，并指出模型进步迅速。总体而言：大语言模型是游戏开发的强大加速器，但目前仍需要人类在架构、乐趣、打磨和创意愿景上提供方向。
Argon 正在帮助我们的研究人员加速量子纠错和算法设计方面的进展。为了帮助纠错解码器实时跟上量子硬件，Argon 将内部版 AlphaQubit——我们的机器学习量子纠错解码器——转换成一个单一、高度优化的硬件内核，使其推理吞吐量几乎翻倍，从而让我们能够部署更大、能力更强的模型，并扩展到更大的量子设备，同时继续满足严格的实时阈值。Argon 还在降低量子子程序的时空成本。对于 arcsin——近期量子模拟算法中的一个构建模块——由 Argon 编写并在 Lean 中形式化验证的实现，与已发表的量子 CORDIC 基线相比，将时空成本降低超过 100 倍，这是朝着优化量子电路标准库迈出的一步。
Hacker News 上关于谷歌 Gemini 4 Argon 的讨论总体正面但褒贬不一。用户称赞其写作、通用推理、健康解释、多模态、速度、SVG/空间任务，称其接近前沿，并能与 Opus 5.5/GPT-6 竞争，尤其是在编码之外。一些基准测试显示 Argon 是帕累托前沿聊天模型，不过编码落后于竞争对手，测试者报告偶尔出现无限推理循环和思维链格式错误。价格也受到关注：入门价每百万 token 2 美元/10 美元，12 月 1 日翻倍。
主要批评针对谷歌的发布和产品混乱：Pro 订阅者可在 Gemini 应用中使用 Argon，但不能在 Antigravity 中使用，后者仅限 Ultra；用户报告追加销售、模型不可用、支付问题，以及糟糕的移动网页用户体验。Pelican/SVG 测试有所改善，可能归因于明确的 SVG 训练。总体而言：模型强大，提升了谷歌的地位，但混乱的打包、可用性和编码打磨限制了热情。
请启用 JS 并禁用任何广告拦截器
《纽约时报》一篇文章提出，其他世界是否可能比地球更宜居。HN 讨论从关于《群星》式盖亚世界的科幻玩笑，到严肃质疑：“更宜居”很难定义，而地球生命适应的是地球，所以外星生物圈可能充满敌意。超级地球可能有更高重力，使发射更困难，但并非不可能。评论者争论氧气大气、病原体，以及殖民有生命世界的伦理。星际旅行原则上物理上可行，但极不现实：即便用先进推进技术，去邻近恒星也要几十年到几百年，而世代飞船会带来重大社会与伦理问题。有人认为真正的回报是技术衍生成果；另一些人则说应该先修复地球。总体而言：这是一个引人入胜的思维实验，但目前没有可行的近期办法抵达或安全居住于这类行星。
Thunderbird 团队正在从零开始原生构建 iOS 应用，借鉴桌面版和 Android 版的经验，打造快速、可靠、现代的 iPhone/iPad 体验，并实现无缝的跨设备工作流。他们首先聚焦基础：轻松安全地完成设置、可靠且省电的后台同步，以及整洁收件箱和现代编辑器等打磨完善的工具。清晰的代码和功能开关将让社区开发者更容易贡献，也让高级用户能提前测试实验性功能。首个社区测试版计划在几个月内推出。团队曾询问用户日常电子邮件中最看重什么，但该调查已经结束。他们感谢社区多年来的耐心，并与社区共同构建 Thunderbird for iOS，而不仅仅是为社区构建，以确保它能长期可靠地服务用户。
Hacker News 评论者对 Thunderbird iOS 版的首次亮相持怀疑态度。许多人质疑是否还需要另一个 iOS 邮件客户端，称对大多数用户来说 Apple Mail 已经够用，不过批评者指出其搜索功能薄弱、缺少 Gmail 推送、无法下载完整邮件，以及钓鱼邮件识别信号差。Thunderbird/K-9 Android 用户抱怨界面笨拙，尤其是搜索功能不好用；一些人归咎于 IMAP 的限制，并希望 JMAP 的普及能有所帮助。一项备受称赞的关键功能是 Thunderbird 桌面版可为别名编辑“发件人”字段。其他人批评 Mozilla 的设计、品牌塑造以及桌面版进展缓慢，并建议使用 Betterbird 或其他替代品。一些人指出 K-9/Thunderbird Android 是一个分支，并询问同步、过滤器和 MFA。有人对 Fastmail/JMAP 表现出兴趣，但一名用户报告了 OAuth 错误。总体而言：兴趣谨慎，但怀疑这款 iOS 应用能否在 Apple Mail 之外提供足够价值，并修复 Thunderbird 长期存在的用户体验问题。
我在 HN 发帖后，我的网站就被 AI 机器人流量淹没了。 I posted to HN, and then my website was flooded with AI bot traffic
1 天前
每个假日季，作者都会花大钱买一件好东西。隔离期间，他们为了风景摄影探索新泽西州的公园，并决定买一台更好的相机。他们考虑过佳能 R5、索尼、尼康 Z/D850、徕卡和富士 GFX 100S。意识到没有相机能样样出色后，他们把选择缩小到 R5、D850 和 GFX 100S。R5 有翻转屏和眼部自动对焦，但色彩更平淡，镜头也更贵。GFX 100S 提供极致画质，但镜头选择有限，人体工学也未知。作者选择了尼康 D850，因为喜爱并信任 D610：出色的光学取景器、人体工学、直出画质，以及与熟悉的 F 卡口/腾龙镜头的兼容性。D850 到货后符合预期——就像一台分辨率更高、对焦更迅速、后期调整空间更大的 D610。尽管已问世四年，它仍具竞争力，而且很可能还会持续多年。
一名 Hacker News 用户描述，发布一个链接后，其网站被 AI 机器人
尽管有预测称数字学习会让实体校园变得多余，印度却在扩建大学并吸引外国院校。拥有超过4300万高等教育学生且需求不断增长，规模固然重要，但更深层的原因是，教育不只是信息传递。校园必须提供技术无法复制的东西：归属感、导师指导、身心健康、身份认同，以及偶然的跨学科相遇。德里IILM大学由Gensler设计的新方案体现了这一点：一座“由内而外”的休闲建筑，将图书馆和运动区按声学分区；灵活的学术楼面可适应不断演变的学科；以及气候适应型被动式策略。图书馆和食堂正成为研究、协作与社交基础设施。与疫情后的办公室一样，校园必须通过有意的互动吸引学生自愿前来。印度的回答是肯定的：校园正被建设为社区与自我塑造的可适应框架，而不只是授课的容器。教室并没有失败——它只是不再是唯一值得为之设计的东西。
HN 评论者讨论，既然信息在网上可免费获取，大学现在还有什么用。许多人认为，大学从来不只是提供信息：它还提供学历凭证和求职筛选、人脉、导师指导、结构化学习与评估、使用实验室、设备、实习的机会，以及有社交塑造作用的环境。一些人说，学位主要充当阶级筛选器，而且由于分数膨胀、不当行为以及 AI/LLM，其信号价值正在削弱。另一些人反驳说，自学缺乏指导、问责、反馈和实践经验，而大学教授批判性思维、信息筛选以及如何学习。该讨论还指出，MOOC 并没有取代校园，信息不等于知识/智慧，大学持久的价值可能在于表明能力，并创造一个激发智识与社交的社群。少数评论者怀疑所链接的文章是 AI 生成的。
苹果推出了“改用 Safari”推广活动，通过一个新网页和两段 YouTube 视频宣传 Safari 优于 Chrome。苹果称，Safari 在 Mac 上可多提供最多 5 小时视频播放时间，常用网站加载速度最多快 35%，并提供更强的隐私保护。该网页包含 Safari 与 Chrome 的对比图表，并突出阅读器模式、通知我、配置文件和 Apple Pay 等功能。视频展示了干扰控制和智能防跟踪。此前，苹果曾推出“iPhone 上的隐私”活动，将 Safari 定位为比 Chrome 更私密。苹果正在继续正面推广 Safari，与 Chrome 竞争。
苹果的“改用 Safari”宣传活动主张 Chrome 用户应转投 Safari，理由是速度、能效、隐私以及 macOS/iOS 集成。HN 讨论持怀疑态度且内容庞杂。评论者争论 Chrome/Chromium 是否成了新的 IE，还是 Safari 成了新的 IE，尤其因为 iOS 强制所有浏览器使用 WebKit。批评者指出 Safari 扩展支持较弱——Manifest V3/uBlock 限制、开发工具、兼容性怪癖，以及没有 Apple 硬件时测试的成本。支持者说 Safari 的存续防止了 Chrome 完全一家独大。许多人转而推荐 Firefox，另一些人则表示 Chrome 的生态系统、肌肉记忆或 YouTube 表现让他们离不开。该讨论反映出对 Google 和 Apple 的更广泛不满：用户希望浏览器多元化、在 iOS 上有真正选择，并减少平台锁定。
一台新的 10 状态图灵机 n1，从空白纸带停机，并具有经 Coq 验证的精确得分。它由 8 状态 BB(8) 纪录构建，将其停机转移重定向到两个新状态。其第一阶段计算 T = 2↑^37 3；此后，T 驱动约 0.43T 个周期的倒计时
一个 Hacker News 讨论串讨论了一项 GitHub 声明：BB(10)，即 10 状态忙碌海狸值，超过格雷厄姆数。评论者指出 BB(5) = 47,176,870，因此结果是 BB(10) > G > BB(5)。由于忙碌海狸的增长快于任何可计算函数，BB 最终会超过任何固定的可计算数，比如格雷厄姆数；值得注意的是只需 10 个状态就足够，这一点并不显然。讨论涵盖可计算性：BB(n) 是一个具体整数，但 BB 函数不可计算，并且对于大的 n，其值可能独立于 ZF（有人引用的大致上界为 BB(432) 或 335）。一些人批评该 README 过于简略且难以解析；另一些人说 LLM 可以解释它。关于这个具体上界是有趣还是只是娱乐性的，争论仍在继续，尽管许多人觉得其规模和含义令人难以置信。