## 繁忙 beaver 游戏中的 Antihydra 屏障 在“繁忙 beaver”游戏中，最近的突破——一项挑战，旨在寻找简单计算机程序（图灵机）能够实现的最复杂计算——在 BB(6)（第六个繁忙 beaver 数字）处停滞不前。虽然 BB(5) 最近被确定为 47,176,870，但由于名为“Antihydra”的机器，寻找 BB(6) 证明特别困难。 核心问题是确定 Antihydra 是否停止运行。这个问题看似简单，但与未解决的 Collatz 猜想有关，该猜想询问一个特定的数字序列无论从哪个起始数字开始，是否总是会达到 1。 就像 Collatz 猜想一样，证明 Antihydra *不* 停止比证明它 *停止* 更加困难。 Antihydra 的行为反映了一个修改后的类似 Collatz 的问题，使其停止状态基于广泛的模拟“probobviously”不停止，但无法证明。 已经识别出许多类似且无法证明的机器（“cryptids”），这表明 BB(6) 及更高版本将仍然难以捉摸，直到开发出新的数学工具。 尽管面临挑战，研究人员仍在继续探索这些“cryptid 生态系统”，寻找模式和与其他未解决的数学问题的联系，并受到在这个迷人领域中可能取得惊人发现的驱动。
每日HackerNews RSS
## 繁忙的河狸与反水怪：摘要
这次Hacker News讨论围绕着“繁忙的河狸”函数（BB(n)），这是一个增长极其快速的数学函数，以及确定其对于即使是相对较小输入的值所面临的挑战。BB(n)代表具有*n*个状态的图灵机在停止之前可以采取的最大步骤数。
对话强调，计算BB(6)需要一个如此巨大的数字，以至于超过了宇宙的计算极限。此外，证明特定的图灵机是否会停止变得不可判定——超出计算能力范围——随着*n*的增加。
一个关键的焦点是“反水怪”，一个特别复杂的6状态图灵机。确定它是否会停止是一个主要挑战，围绕它是否会停止的概率存在争论。尽管看起来是随机的，但反水怪是确定性的，概率论证并非决定性的。
讨论涉及与停机问题之间的联系，以及为什么找到BB(n)的上限与找到其值本身一样困难。最终，繁忙的河狸序列增长速度快于任何可计算函数，使其完全探索成为不可能。
跳至内容产品文档联系路线图Star 3.5KJetKVM 云轨Kickstarter 奖励轨Kickstarter 奖励产品文档Star 3.5K云JetKVM 云产品探索 JetKVM 及其强大的附加组件JetKVM下一代开源IP KVMATX 扩展板桌面电脑的远程电源和复位控制。直流电源控制扩展远程管理直流供电设备。串行控制台扩展通过 JetKVM 远程访问设备串行端口。远程控制任何电脑支持DiscordGitHub文档公司联系2025 BuildJet, Inc. - 版权所有。
尼古拉斯·穆加韦罗的《白鲸记八百万册》，由Gauss PDF出版，是一本概念上极具挑战性的“书”，由1000页相同的灰度纹理图案组成。最初被误认为是缺陷文件，但作品很快展现出其对梅尔维尔小说的刻意模仿，复制了它的标题页，同时用重复的视觉元素取代了文字。
“阅读”的体验变成了一场令人沮丧、着迷的意义追寻——这正是对亚哈船长追逐白鲸的刻意镜像。作者迫使读者化身为亚哈，无情地在永恒不变的页面中寻找隐藏的线索，最终意识到这项努力的徒劳。
穆加韦罗的作品并非关于*讲述*《白鲸记》的故事，它*就是*那条鲸鱼——一个被无情、最终徒劳追逐的对象。这本书作为一种行为艺术发挥作用，是对人物性格的评估，揭示了读者自身的自我和在不存在意义的地方寻找意义的冲动。人们对图案的反应各不相同，突出了读者强加在其上的主观投射，最终证实了穆加韦罗的胜利：作品仅仅*存在*，它的力量在于揭示我们对它的反应。
一个引人入胜的讨论在Hacker News上展开，围绕一本名为“八百万册白鲸”的奇特书籍。这本书似乎由1000页组成，页面上充满了重复的深色和浅色方格图案。
一种理论认为，这本书实际上包含了800万份压缩的《白鲸》副本，每一份都越来越小，并叠加在上一份之上以节省空间。 另一种观点将其与艺术概念联系起来——博尔赫斯的故事关于重写经典，或者一份类似的手稿，由一位出版商收到，试图通过强迫性的重复来“证明”一个数学概念。
用户们提出了分析这本书的方法，例如将页面转换成视频，或者简单地在PDF阅读器中按顺序查看它们。 整体氛围是好奇而又隐隐不安，并伴随着一些关于深入研究其谜团可能产生的后果的幽默评论。
arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都认同并接受了我们开放、社群、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？请了解更多关于arXivLabs的信息。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
EntropyLong：通过预测不确定性进行有效长上下文训练 (arxiv.org)
15 分，PaulHoule 1 天前 | 隐藏 | 过去 | 收藏 | 讨论
考虑申请YC冬季2026批次！申请截止至11月10日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
这篇博文是对在创意写作中过度使用人工智能的强烈呼吁，特别是博客文章。作者认为，依赖人工智能生成的内容是对读者的不尊重，并削弱了作者与读者之间的个人联系。 他们认为，价值不在于*写了什么*，而在于*如何写*——创作原创作品所付出的努力、脆弱性和学习过程。作者认为，拥抱错误和寻求帮助对于人类成长至关重要，并能培养真诚的关系。 最终，这篇博文敦促作家优先考虑真实的表达，而不是便利性，建议人工智能最好用于定量任务，并拥抱人类独有的思考、感受和通过自己的文字建立联系的体验。
这段 JavaScript 代码创建了网页上由特定元素触发的交互式工具提示（气泡）。它解析页面文本内容中的自定义 `[[术语|标题|内容]]` 标记，将其替换为按钮。点击或聚焦这些按钮，将显示一个包含 `标题` 作为标题和 `内容` 作为内容的工具提示。 该代码智能地将工具提示相对于触发元素进行定位，确保其停留在视口内，并通过调暗触发元素分支外部的区域来避免重叠内容。它处理鼠标交互（悬停、点击）和键盘导航（聚焦、Esc 键）以打开和关闭工具提示。 该脚本还适应不同的输入方法，为触摸设备提供“粗略”模式，并包含动画以实现平滑的打开和关闭过渡。最后，它在窗口大小调整或滚动事件时重新定位工具提示，以保持其最佳位置。
一条在脸书上流传的虚假谣言导致波兰农民皮奥特尔在丹布罗维察损失了150吨土豆。帖子声称皮奥特尔因缺乏买家而免费赠送他新收获的作物，这促使数百人从周边村庄涌向他的田地。
人们带着从袋子到拖车等各种工具前来，拿走数量不等的土豆——有些很少，有些甚至高达60吨。正在参加家庭聚会的皮奥特尔回家后发现他的田地几乎空无一物，对事件的规模感到震惊。虽然有些人归还了土豆并道歉，但许多人却利用虚假信息获得了大量收获。
这个故事在波兰迅速传播，引发了幽默和难以置信。皮奥特尔没有报警，希望有人归还他被盗的收成，并对网络虚假信息造成的现实后果感到困惑。
## 病毒式“免费土豆”帖子让农场损失150吨作物
一个在脸书上流传的虚假谣言导致一位波兰农民损失了150吨土豆。有人虚假宣传土豆免费领取，引发了大量涌入的人群，清空了整个农作物。
Hacker News上的讨论集中在责任问题上——最初发布者的恶意意图、那些拿走土豆的人的行为，以及农民在保护收成方面的作用。许多评论员认为发布者应该承担法律后果，并引用了煽动或疏忽陈述等潜在指控。另一些人则指出“共有地的悲剧”，认为提供资源而不设定明确限制，不可避免地会导致剥削。
一个关键的争论点是农民是否应该承担一些保护农作物不足的责任。一些人认为简单的围栏就能阻止盗窃，而另一些人则指出农村地区的背景，在这种情况下，此类措施并不总是被认为是有必要的。这起事件凸显了社交媒体助长下的快速、破坏性后果的潜力，以及管理共享资源所面临的挑战。
2025年初，Python软件基金会（PSF）申请了150万美元的国家科学基金会（NSF）拨款，以增强Python及其软件包索引PyPI的安全性，重点是主动恶意软件检测。这是PSF首次尝试获得联邦资金，并显示出希望，该提案最初被推荐批准。 然而，PSF最终因不可接受的条款和条件而撤回了申请。NSF要求PSF确认其不推广且将来也不会推广多元化、公平性和包容性（DEI）倡议——这与PSF的核心使命和价值观直接冲突，即促进多元化社区。这一限制扩展到PSF的所有活动，并可能导致失去先前获得的资金。 虽然该拨款将大大增加PSF的预算，并能够实现对更广泛的开源生态系统有益的关键安全改进，但董事会一致决定坚持其价值观至关重要。该项目旨在创建适用于PyPI之外的工具，提高NPM和Crates.io等软件包注册表的安全性。PSF现在正在通过会员资格、捐赠和赞助寻求社区支持，以继续其重要工作。
这似乎是PDF文件的一部分，包含二进制数据和元数据。它本身没有可读的中文内容。
## 派瑞克斯目录与对工艺的欣赏
一份1938年的派瑞克斯目录，以PDF形式分享，引发了黑客新闻的讨论，焦点在于其精美的手绘插图和排版。用户们辨认了可能使用的字体——可能是罗克韦尔的变体，以及孟菲斯体——并感叹现代出版物中这种精细、人为创作的设计已逐渐消失。
对话扩展到质量与效率的更广泛主题，许多人指出自转向数字工具以来，设计上的用心程度有所下降。几位评论者分享了相关的历史目录（工具手册、整体地球目录），展示了类似的艺术性。
讨论还涉及现代“派瑞克斯”（苏打石灰玻璃）和原始“PYREX”（硼硅玻璃）的区别，以及后者在欧洲的持续供应。最终，这篇帖子是对一丝不苟的工艺的庆祝，也是对在优先考虑速度和自动化时所失去的东西的反思。
澳大利亚竞争与消费者委员会（ACCC）已向联邦法院起诉微软澳大利亚和微软公司，指控其在Microsoft 365订阅更新方面存在误导性行为。在整合AI助手Copilot后，微软告知约270万澳大利亚个人和家庭计划的订阅用户，续订时价格将上涨，或者可以选择取消。 ACCC认为微软*未能*披露第三种选择：“经典”计划，保留现有功能且价格不变。这些经典计划被隐藏起来，仅在取消订阅的过程中才会出现。ACCC认为微软故意隐瞒此选项，以促使客户选择更昂贵的Copilot集成订阅——价格上涨幅度从29%到45%。 此案的中心是微软用于传达这些更改的两封电子邮件和一篇博客文章。ACCC寻求处罚、对受影响消费者的补救措施，以及要求微软提供有关订阅选项更清晰信息的命令。ACCC的调查是由于大量消费者投诉而引发的。