作者将谷歌目前的衰落比作《阿甘正传》中阿甘弃船去迎接丹中尉的场景，认为谷歌为了追求人工智能而牺牲了核心功能，正如“弃船”一般。
长期用户，尤其是记者群体，曾依赖谷歌新闻（Google News）在特定时间范围内筛选可靠的美国本土报道。然而，作者指出这些基本工具正在稳步退化。如今的搜索结果充斥着来自 Instagram 的无关社交媒体帖子、外语内容以及美国境外的出版物。此外，时间筛选功能也已基本失效，搜索引擎经常忽略用户对近期新闻的检索需求，反而推送数月甚至数年前的过时内容。作者最终认为，谷歌在追逐人工智能的过程中忽视了谷歌新闻的实用性，导致该平台在专业研究方面的效用日益降低。
每日HackerNews RSS
“夜写板”（nyctograph）由刘易斯·卡罗尔于1891年发明，是一种书写工具及配套的替换密码，旨在让使用者在完全黑暗的环境中记录笔记。出于深夜记录灵感时点灯的不便，卡罗尔设计了一套系统，使他能够在卧床时进行书写。
该装置由一张带有四分之一英寸方孔的卡片组成。使用者在这些方格内书写，所用的特定字母表中的每个字符都由线条构成，并规定在左上角必须有一个大黑点，以标示字母的起点。这种基于网格的方法确保了字迹的可辨认性，因为这些字符在视觉上被设计为与标准字母相似。
该系统包含了26个字母的字符，以及常用词、数字和日期的符号。它最初被称为“盲文写字板”（typhlograph，暗示其对盲人有潜在用途），后更名为“夜写板”（nyctograph），取自希腊语中的“夜晚”一词。通过提供一种无需光照、便携且具有触感的记录灵感方法，卡罗尔为随时随地捕捉思绪提供了一个独特的解决方案。
最近，Hacker News 上关于刘易斯·卡罗尔（Lewis Carroll）“夜写术”（Nyctography）的讨论引发了用户们的共鸣，大家纷纷分享了自己使用秘密代码和替换加密法的经历。许多参与者回忆起年少时学习虚构或历史字母表的往事，例如托尔金的色斯（Cirth）卢恩字母、游戏《晨风》中的魔族语（Daedric script）、猪圈密码（Pigpen cipher），以及《创世纪》（Ultima）系列中的符文语言。
参与者们回味了使用这些代码传纸条，或尝试制作自制纸板加密盘等“无法破解”加密工具的乐趣。尽管随着时间的推移，许多人已淡忘这些技能，甚至无法解读自己旧日记里的内容，但这一讨论凸显了人们对密码学、语言学以及“秘密”交流乐趣的共同向往。讨论还涉及了这些工具的实际构建，认为创造并掌握这些系统的过程，往往比其实际用途更令人满足。
请启用 JavaScript 和 Cookie 以继续。
包括雪佛龙、壳牌和埃克森美孚在内的各大石油公司近日公布了巨额季度收益，总计每日利润约达4.04亿美元。受全球供应中断（特别是中东冲突和对俄罗斯炼油厂的袭击）的影响，原油和燃料价格飙升，推动了这些收益的增长。 尽管这些创纪录的利润引起了美国和欧洲政界人士的愤怒，并引发了征收暴利税以支持困境中消费者的呼声，但行业领袖强烈反对这些措施。高管们认为，此类税收是对成功的惩罚，会阻碍投资，并指出当前的市场波动很可能是暂时的。 尽管近期获得了财务红利，这些能源巨头仍持谨慎态度。各大公司并未积极扩大短期钻探项目以满足当前需求，而是优先考虑削减债务和实现长期的稳健增长。高管们认为，全球对能源的依赖最终将迫使供应趋于稳定，从而使当前极度盈利的时期成为一种不可持续的异常现象。
提供的 Hacker News 讨论帖探讨了在地缘政治冲突（特别是伊朗及地区局势不稳）推动原油价格上涨的背景下，石油公司利润激增的现象。
参与者就当前经济环境的根本原因展开了辩论，许多人指责政治领导层助长战争，从而以牺牲公众利益为代价使石油生产商和国防承包商受益。评论者就特朗普政府的责任、沙特阿拉伯和以色列等地区大国的影响力，以及暴利税等潜在政策的有效性提出了不同观点。
讨论中反复出现的一个主题是：政治阶层与面临能源成本上涨的普通民众之间存在隔阂。一些用户指出，这种市场波动反而正在加速向电动汽车和可再生能源转型，这具有讽刺意味。尽管有人认为全球能源政治是由冷酷且长期存在的地缘政治因素驱动的，但另一些人则认为当前局势是鲁莽领导和腐败的结果。总的来说，这场讨论反映了人们对美国当前治理状况和国际能源格局的深切失望。
2026 年 7 月下旬，在一项由人工智能辅助的、成功绕过类型检查的考拉兹猜想（Collatz conjecture）“反证”被发现后，Lean 内核中的一个健全性漏洞随之浮出水面。该漏洞位于嵌套归纳类型的处理逻辑中，允许在通过直接元编程访问时构造出 `False` 的证明。 Lean 基金会（FRO）在收到报告后一小时内解决了该问题，随后加强了内核不变量并增加了新的回归测试。由于该漏洞仅限于直接与内核交互（绕过了前端细化器），因此这属于实现层面的错误，而非 Lean 元理论的失效。 值得注意的是，一个独立的基于 Rust 的内核 `nanoda` 同时也存在一个偶然的独立漏洞，使得该恶意项得以提前通过；目前两者均已修复。此次事件凸显了独立内核验证的重要性。为此，FRO 已聘请网络安全专家对内核进行审计，识别并修补了其他小型漏洞，同时更新了诸如 `nanoda` 等外部验证工具，以确保其与 Lean 官方实现保持同步。FRO 坚持认为，限制元编程并非可行的解决方案，因为内核必须始终作为证明有效性的最终且独立的权威。
最近针对 Lean 内核漏洞 #14576 的事后分析引发了关于形式化证明系统可靠性的讨论。该问题源于人工智能生成的代码利用了内核处理嵌套归纳类型方式上的一个缺陷，从而推导出了“假”（False），进而对考拉兹猜想（Collatz conjecture）提出了一个“反证”。
Hacker News 讨论的主要观点包括：
* **验证并非绝对：** 参与者强调，形式化验证是一个极其强有力的保证，但并非万无一失。大多数复杂系统（包括 Rust 的类型检查器以及 Coq 或 Isabelle 等其他证明辅助工具）都会出现健全性漏洞。
* **“瑞士奶酪”模型：** 安全性是通过保持内核最小化并鼓励独立实现来维持的。如果多个系统对同一结果达成一致，存在共享隐藏漏洞的可能性会大大降低。
* **人工智能与验证：** 虽然该漏洞是由 AI 生成的证明所发现的，但用户指出，漏洞本身是内核中早已存在的问题。这一事件提醒人们，无论证明是由人类还是 AI 编写的，其可信度始终取决于底层的内核。
* **方法论：** 社区将这些漏洞视为“强化”系统的机会，而非系统性失败。
近期关于知名 Mac 字体编辑器 **Glyphs 4** 发布的讨论在 Hacker News 上引发热议，焦点在于该软件是否处于“绝对市场垄断”地位。
尽管一些用户认为 Glyphs 是专业字体设计师的行业标准，但另一些人则认为市场更为碎片化。批评者指出，市场上存在其他可行的替代方案，例如与专业设计教育联系紧密的 **RoboFont**、传统工具 **FontLab**，以及针对中日韩（CJK）复杂字体设计挑战的新兴软件。
此次讨论还涉及专业软件垄断的本质。用户将 Glyphs 与 Adobe 的垄断地位进行了对比，认为后者的垄断更多源于对竞争对手的战略性收购，而非缺乏替代品。虽然一些小众工具（如 FontForge）常被视为“业余”软件，但业内专家指出，即便是这些工具也拥有专业用户，例如 Raph Levien。归根结底，用户称赞 Glyphs 是一款由小型独立团队维护的高质量工具；尽管在功能更新方面存在些许微词，但该团队成功避免了企业级软件开发中常见的弊病。
尚未激活。每一个字典词汇的域名在几十年前就已被抢注。因此，我们在实验室中缝合新的躯体：真正的词汇，在接缝处切开，嫁接到来自 150 个国家代码和 58 个通用顶级域名的供体肢体上，并针对注册局本身进行验证。下方的样本尚无生气。在别人动手之前拉下开关吧。带上你自己的词汇，我们会找到缝合点。 + + + + + + + + + + + + “注册局内毫无生气”并不代表购买保证：一些国家域名设有居住权规定或最小长度限制，可能适用溢价定价，且其他人可能会比你更快拉下开关。注册商链接为联盟营销链接：如果你通过其中一个链接激活了样本，实验室可能会获得少量佣金。由 Klaus Breyer 缝合。
NetBSD 项目已正式发布 NetBSD 11.0。建议用户在通过 CDN 下载镜像前查阅发行说明和架构安装指南。ARM 用户请使用预配置的 U-Boot 镜像。 为避免进一步延误，团队采取了透明化的方针，尽管仍存在一些已知的未解决安全问题，但仍决定发布 11.0 版本。这一决定源于 AI 工具所识别出的漏洞数量日益增加，使得在发布前达到完美变得不再可能。项目组已简化了构建和分发流程，尽管人工安全验证仍是一个必要的瓶颈。 现有的未解决安全合并请求将很快提交至稳定分支，预计 NetBSD 11.1 将在未来两个月内发布。鼓励遇到问题的用户通过项目的邮件列表或问题报告系统反馈。
宝马因在其高端车型仪表盘中植入促销广告而受到批评。近日，有车主反馈称，在启动车辆时收到了电影《蜘蛛侠》的推广弹窗通知。尽管宝马将这些“节日动画”描述为给驾驶者提供的独家增值惊喜，但批评者认为，这是企业广告对私人空间的令人不安的侵入。 作者认为，支付高昂价格购买车辆，车主理应享有免受无休止营销轰炸的避风港。宝马将原本用于导航和显示车辆信息的仪表盘作为广告平台，是将客户视为“受众俘虏”而非车辆所有者。文章将此举与宝马此前备受争议的订阅制功能尝试相提并论，指出这破坏了汽车制造商与消费者之间的契约。最终，作者将此视为晚期资本主义的一种症状，并建议消费者应抵制该品牌，直到其停止将驾驶者的注意力货币化。
伟大的公司——对我们的数据有着更大的胃口？！ ·监控将是我们未来必须面对的主要问题。 ·每个人——直到现在还更多地被视为公民，民主与（或多或少和谐的）共存正是建立在他们的肩上——却正日益被仅仅视为嫌疑人、潜在的罪犯、极端分子或恐怖分子，必须在每一个转折点都被全面监控！ ·如果你想要隐私，或许还能在封闭式社区中“享受”它——这被视为富人专属的特权。 ·也许我们应该彻底开始为这个时代书写一本新书——我建议书名为《2099》。 ·由一群“长成”的作者和人工智能模型共同撰写，他们感到肩负这一使命，旨在安葬我们的旧世界。⚰️ ·未来，我们想要生活在什么样的世界里？