巴黎、里约热内卢、马拉喀什、东京、悉尼：五个训练关卡，每关都比上一关更难。然后是真正的案件，更加艰难。每个案件都会显示有多少调查员解决了它。大多数案件：无人。尚未。尚无人解决。
每日HackerNews RSS
Uncracked City 是一款由单人创始人打造的 Show HN 侦探游戏，Android 免费，iOS 版待推出。玩家在真实城市中调查虚构犯罪，并询问会说谎的 AI 嫌疑人。创始人大量使用 AI：案件通过 AI 流水线开发，并通过让模型扮演侦探来验证。应用目前支持六种语言，但用户批评了一些翻译，尤其是意大利语。反馈还提到仅支持应用访问、没有浏览器版本、回溯等玩法问题，以及对 AI 生成美术和文案的担忧。创始人表示网页版即将推出，成本由其自筹，未来计划包括每周案件、私人游戏、MCP 场景构建和高级功能。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 如何运作 试用新功能 © 2026 Google LLC
一篇 Hacker News 帖子讨论了一段视频，内容是关于剪贴画为何曾经无处不在、后来又淡出视野。评论者回忆了 Microsoft Office 的剪贴画，并指出一旦互联网提供了更好、更易获取的图片，剪贴画就衰落了。讨论将剪贴画与 AI 生成图像进行比较：两者都可能低效、通用且不匹配，但一些人认为剪贴画是诚恳的，而 AI 图像或文本却有欺骗性或不尊重人之感。用户们争论生成式 AI 是否能被 earnestly 使用，其中对 AI 传单和 AI 撰写的高管邮件有强烈批评。其他评论提到了剪贴画在库存图片之前的用途、一款 AI 视频摘要产品，以及文化轶事。总体而言，该帖混杂了对怀旧的怀念与对现代 AI 垃圾内容的批评，以及关于便捷视觉工具如何塑造日常沟通的思考。
2026年10月23日，ISO各国家机构否决了C++26 DIS，这是C++ DIS的首次失败，主要因为多个NB认为Contracts功能尚未就绪。作者作为德国WG21成员表示，此次投票打破了NB仅因新增信息或流程错误而否决标准的既有惯例。Contracts已开发多年，WG21以大比例票数将其纳入C++26，但未能通过DIS的三分之二门槛。ISO现有选项包括修订DIS、CD阶段、TS或取消，均需WG21共识；取消C++26可能回退到C++23并推迟到C++29。作者称此次否决是灾难，表示信任和共识已被动摇，并提到11月16日会议将解决僵局。C++26和C++29的未来尚不确定。
Hacker News 讨论线程讨论了 C++26 草案国际标准被否决，主要因 C++ Contracts 提案。Contracts 将在函数声明中加入前置条件、后置条件和运行时断言，但批评者认为它们很大程度上只是现有断言的语法糖，并与 concepts 和 constexpr 重叠，而支持者表示它们可助于静态分析和形式化验证。评论者争论 C++ 是否需要更多复杂度、内存安全和更好工具链，而非新特性。投票还推迟了草案中捆绑的其他 C++26 特性，并引发关于共识、委员会政治以及国家机构是否正确行使否决权的流程批评。更广泛的讨论涉及 C++ 与 Rust、生态系统成熟度、AI 生成代码、SIMD、构建系统以及语言的未来。总体而言，该线程将 C++ 标准化描绘为一个充满争议的过程，其优先级和就绪状态存在分歧。
启用 JavaScript 和 Cookies 以继续
一个 Hacker News 帖子讨论了哥伦比亚大学的文章，称火星的巨大峡谷仍处于构造活跃状态。评论者争论任务影响：赫拉斯平原的深度可能影响大气条件，并与生命相关，但行星保护和着陆复杂性是顾虑。帖子还涉及人类火星探索，包括辐射、有毒灰尘、长途旅行、高成本和可能的资源利用策略，一些人支持机器人任务和月球中转。用户指出，地震是在行星另一侧用单个地震仪检测到的，且峡谷坡度出人意料地平缓。还有评论者链接到论文发表后不久发布的 xkcd 漫画。
微软修复 Windows 11 的一个烦人问题，与此同时 PC 收入下滑 Microsoft fixes a Windows 11 annoyance as PC revenue declines
2 天前
人类验证 为了继续，您需要通过解决验证码谜题来验证您不是机器人。验证码谜题需要JavaScript。请启用JavaScript，然后重新加载页面。
Hacker News 的一个帖子讨论了在 PC 收入下降背景下 Microsoft 的 Windows 11 右键菜单改进。用户普遍批评 Windows 11 强制要求 Microsoft 账号登录、无处不在的遥测与广告、新旧设置混杂导致的 UI 不一致，以及臃肿的性能。许多人表示正在迁移到 Linux，指出 Proton 现在让游戏可行，Linux 提供更多控制与稳定性。对旧版 Windows（7、10、2000）的比较占主导，有几人称每隔一代 Windows 版本就是一次失误。macOS 也受到类似但更轻的批评。评论者提到 Microsoft 对企业市场的关注、硬件成本压力（内存短缺），以及 Windows 10 被 marketed 为“最后的”操作系统的讽刺。有些人认为 Windows 11 对游戏或工作来说够用，还有少数人描述了通过命令行技巧绕过设置限制。总体情绪对 Microsoft 的方向深感负面，同时普遍赞赏 Linux 替代方案。
作者认为，AI 在软件工程师与其他专业人士之间的生产力差距，主要不是来自模型训练或工具，而是来自思维习惯差异。有效提示 AI 就像编程：定义输入、输出、步骤、边界情况和成功标准。工程师通过多年编译器反馈学会这种精确性，而非程序员则依赖人类沟通，其中缺口由上下文和澄清填补。LLM 则用看似合理的猜测填补缺口，因此模糊提示会产生看似合理却误导的输出。工程师还通过调整指令调试，而其他人则重新生成提示或责怪工具。领域专业知识有助于判断结果，但要让代理产出值得判断的内容，需要指定计算技能。成功的非工程师往往已经像程序员一样思考，例如通过电子表格、自动化或数据整理。最终，自然语言 AI 主要加速那些已经像程序员一样思考的人，而不是教会所有人编程。
Hacker News 上关于“Prompting Is Programming”的讨论争论提示是否算编程。一位评论者认为不是：提示模棱两可，AI 增加了间接层，而编程需要精确、确定的机器指令。其他人把提示比作 SQL/Prolog，它们也隐藏实现细节，但仍然是确定性映射。有些人称提示为项目管理、结对编程或撰写 PRD/规格说明，强调迭代、评审和验证。评论者指出工程师擅长是因为能明确并验证行为；LLM 仍需要仔细清理代码和监督。另一种观点认为自然语言本身就能表达动作、查询和逻辑，使提示越来越具有命令式特征。总体而言，提示通过抽象和迭代类似编程，但因其不确定性与需要人工验证而有所不同。
文本认为，LLM预训练受益于大量偶然形成的文档数字公地，但后训练——尤其是智能体AI——需要任务、环境、工具、意图和评分器，而这些没有可比的公地。人类任务是有情境且短暂的，不像耐久的文档；软件是部分例外，因为它保留了世界和动作，但将代码仓库转化为可用的强化学习任务困难且常失败。SWE-bench等例子显示了需要多少人工修复和筛选。因此，开源模型研究者必须刻意构建后训练公地，系统地将人类工作转化为耐久、可重复的强化学习任务。否则，少数公司将垄断训练前沿模型所需的环境与权力，限制开源参与和对AI开发的影响力。
一篇 Hacker News 帖子讨论缺少公开的后训练数据公地。链接博客认为这类共享数据集缺失。评论者指出，后训练比预训练更容易分发，可依赖日常使用中收集的智能体轨迹；DataClaw 和 Hugging Face 等工具旨在收集它们，并声称网上已有大量数据。其他人提出担忧：这类数据可能影响就业，需要保护，并有被企业捕获的风险（引用 OpenAI/Google）。有人提到 NVIDIA 的部分数据发布和 NSA/间谍猜测。支持者看到慈善潜力（Internet Archive 式托管）以及民主化、领域特定模型。怀疑者质疑动机和可持续性，警告不要轻率采用。总体而言，争论集中在开放的后训练公地是否可行、有益，以及如何确保参与式而非榨取式的使用。
作者在 Copper（一种"更好的 C"语言）中尝试了联合类型，但发现过于复杂，转而采用选项类型（T|Nothing）。选项类型表示一个可能为 nil 的值，通过在底层类型中保留哨兵值（如指针的 NULL）实现，避免标签并能与 C 集成。细化使用 `as` 运算符在条件语句中创建作用域限定的非 nil 变量，配合 `or else` 实现提前返回；也可通过转换或 notNil 强制细化。可选类型的方法使用 `defopt`。曾尝试类似 TypeScript/Kotlin 的 nil 检查器推断，但因循环/泛型复杂性与编译器开销而放弃。作者权衡选项类型是否值得打破 Copper 的极简主义：它们澄清意图、防止意外的 nil 解引用，并帮助发现 bug，尽管增加了概念。在移植编译器和工具之后，他们倾向于采用，并暗示可能是消除"十亿美元错误"的时候了。
一篇 Hacker News 讨论串讨论了《Union Types and Option Types (2025)》，聚焦 CopperLang 的设计与实现权衡。评论者争论 Copper 的联合类型限制——如嵌套、成员数量不同的变体之间的兼容性以及顺序——是否合理，有些人认为文章混淆了 sum types 与 union types。其他人探讨实现细节，包括带标签联合的判别器位置、内存布局、分配大小、缓存影响、序列化，以及可选/联合类型应是语言特性还是库抽象。该讨论串还提出这些特性跨语言参考的问题，提及书籍、Rosetta Code 和 Swift。最后以关于“onion types”的玩笑结束。
美国印第安纳州的一座亚马逊数据中心。科技巨头正向此类AI基础设施投入大量资金。© Reuters KOHEI YAMADA 2026年11月4日 05:02 JST 加利福尼亚州帕洛阿尔托——美国科技巨头因人工智能相关义务产生的表外债务持续膨胀，六个月里几乎翻倍至约3.2万亿美元，投资者日益对看似永无止境的支出感到担忧。
据《日经》报道，美国科技巨头的隐藏AI债务在六个月内激增90%，达到3.2万亿美元，引发Hacker News激烈辩论。评论者对这些表外承诺是否构成真实债务存在分歧，一些人认为它们只是可取消的支出合同，另一些人则反驳称未来义务实际上就是负债。
许多用户将局势与过去的泡沫——dot-com、2008、安然——作比较，并警告系统性风险、救助和普通股东的财富毁灭。其他人则为这种支出辩护，称公司害怕错过AI竞赛并面临垂直领域被边缘化的风险。一些人认为，即使泡沫破裂，也会留下有用的基础设施。
主要担忧包括OpenAI和Anthropic带来的集中风险、隐藏义务可能触发级联失败，以及公司是否正在将杠杆加到不可持续水平。辩护者则指出强劲的收入增长、庞大的客户积压订单，以及AI竞赛的生存性本质作为理由。
讨论还涉及科技公司CFO是否真正理解风险，或者激励结构与错失恐惧症是否会驱使鲁莽支出，无论后果如何。
这篇文章认为，公开写作可以充当“思想蜜糖”，被动吸引志同道合的人。虽然内容易于理解有帮助，但作者可以添加分层的“抓手”、链接、脚注和隐藏彩蛋，在不阻碍追求快速价值的读者的同时，奖励特别投入的读者。例如 Wait But Why 的乌龟和脚注。如果回报不足，人为设计的谜题会显得恼人；自然的细节与用心往往能吸引合适的读者。作者重视微妙的好奇陷阱，它们能引发对话，同时让正文对实用型读者仍具可用性。最终，反复发布具体的作品会创造偶然的联系，并形成由契合的人组成的网络。
Hacker News 评论者讨论“Curiosity Traps”（好奇心陷阱）：小而有意的信号——古怪细节、博客文章或项目——吸引志同道合的人。他们鼓励给创作者发邮件提供反馈或赞美，指出这类主动联系通常受欢迎。他们也承认很多人在发消息前会犹豫，尽管自己收到时会感激。有些人将好奇心陷阱比作灯塔或“狗哨”，与 XKCD 式的 nerd sniping 对照。个人博客可以引来深思熟虑、有时延迟的回应，并帮助人们找到社群。具体而利基，而不是追求广泛覆盖，可能提高找到“自己人”的几率。最有支持性的社群往往形成于地位或金钱不多的兴趣周围。