欧洲法院（ECJ）维持了对谷歌41亿欧元（约合46.7亿美元）的反垄断罚款，确认了欧盟委员会2018年的裁决。该处罚源于谷歌被指控滥用其在移动市场的支配地位，强迫智能手机制造商预装其自家的应用程序（如谷歌搜索和应用商店），从而获得不公平的竞争优势。 尽管一家下级法院此前曾将最初的43.4亿欧元罚款额略微下调，但欧洲法院驳回了谷歌的最终上诉。谷歌坚称其安卓操作系统促进了创新和用户选择，并认为该判决忽视了维持该平台免费及可互操作性所需的大量投资。 这一裁决标志着欧盟委员会针对这家科技巨头长达十年的反垄断行动取得了重要里程碑。虽然谷歌声称已调整其业务以符合规定，但欧洲监管机构仍通过《数字市场法案》等框架继续瞄准大型科技公司。该决定引起了美国官员的批评，他们认为欧洲激进的监管和高额罚款可能会阻碍美国企业参与全球人工智能经济。
每日HackerNews RSS
抱歉。
回顾数十年的计算生涯，作者分享了一份精心整理的键盘清单，这些键盘塑造了其职业生涯并带来了舒适的使用体验。
这段旅程始于经典的 **IBM Model M**，它因其类打字机的触感而备受推崇。作者后来发现了 **Model M SSK（节省空间键盘）**，它通过移除数字小键盘改善了人体工学。清单中还包含了一款独特的 **NMB RT-9100W ConcertMaster**，这是约翰·卡马克（John Carmack）在开发《雷神之锤》（Quake）和《毁灭战士3》（Doom 3）期间使用的经典键盘；尽管其薄膜按键较为罕见，但其内置音频系统的表现至今无人能及。
为了应对重复性劳损（RSI）和手腕不适，作者转向了人体工学分体式键盘。虽然 **Ergodox EZ** 服务了作者十年之久，但由于其在极端倾斜时的稳定性问题，作者最终选择了 **ZSA Moonlander**。配合专用的底座配件，Moonlander 将人体工学定制化与稳固的稳定性完美结合。对作者而言，Moonlander 是终极且无可替代的键盘体验。
这篇 Hacker News 帖子围绕键盘偏好展开了热烈讨论，主要分为两个主题：“ConcertMaster”键盘（因与约翰·卡马克（John Carmack）的关联及其独特的扬声器集成而闻名），以及关于人体工学键盘与传统键盘的广泛争论。
参与者分享了使用 ErgoDox EZ、Moonlander 和 Glove80 等热门人体工学键盘的不同体验。许多用户认为这些分体式和行列式（ortholinear）键盘缓解了长期的手腕和背部疼痛；但也有人提醒，这类键盘的学习曲线陡峭，如果不能根据个人手型进行正确配置，反而可能导致过度使用损伤。
辩论的很大一部分集中在非标准布局的取舍上，例如缺乏独立的功能键，以及重塑肌肉记忆对生产力造成的损耗。相反，许多贡献者力挺罗技（Logitech）、Topre 和 IBM（Model M）等厂商生产的“无聊但高质量”的键盘，认为怀旧情怀和可靠性往往胜过复杂且定制的人体工学设置。最终，大家的共识是：人体工学是非常私人的体验；“最好”的键盘就是能为使用者个人提供最大舒适度和最高效率的那一款。
这份摘要提炼了作者对数学、人工智能的影响以及人类直觉本质的探讨。
数学的根本在于清晰与理解，而非仅仅是定理的机械推导。作者指出了“官方数学”（形式化、二元且公理化的）与“秘密数学”（构建框架时人类直觉与认知的过程）之间的张力。从历史上看，数学界的“荣誉准则”优先考虑定理证明，这曾是衡量概念创新的可靠且唯贤的代名词。
然而，人工智能的兴起威胁到了这一范式。人工智能能够利用“悬而未决的问题”（现有数学文献中潜藏的联系），以人类无法企及的速度和规模解决问题。尽管人工智能擅长技术性解题，但它缺乏人类在“经典化”和概念构建方面的感悟能力。其风险在于，人工智能可能产出“数学垃圾”——即正确但难以理解的证明，而公众可能会因此误以为数学只是一场“已被解决”的博弈游戏。
为了在这一革命中生存，数学界必须抛弃其疏离的荣誉准则。数学家必须强调，工作的真正价值在于拓展人类的认知能力，而非追求定理的生产指标。数学仍是人类理解世界不可或缺且永无止境的工具，其存续取决于能否确立其在人类进化中的作用，而非沦为无意识的自动化产物。
本次讨论探讨了一个具有挑衅性的观点：数学正经历从以人类为中心的发现学科，向一种名为“真理挖掘”的机械化过程转变。
**主要论点：**
* **人工智能的威胁：** 随着形式化和证明辅助工具（如 Lean）的进步，定理的产生可能会实现自动化。批评者担心，虽然人工智能能够生成证明，但它缺乏创造直观的“思维软件”或概念框架的能力，而这些正是人类理解和推理复杂系统所必需的。
* **“定理经济”与“理解”的博弈：** 与会者认为，“证明定理”已成为一种被过度强调的“便捷虚构”。从历史上看，数学的真正价值在于其培养人类洞察力、抽象能力和审美愉悦的能力。如果该领域完全转向人类无法直观理解的自动化、机器可验证的证明，它将面临变成一种脱节且“无用”练习的风险，类似于下棋。
* **人机互补：** 一些人认为，人类可以通过专注于可视化、教学法，以及架起抽象模型与现实世界应用之间的桥梁来保持优势。人工智能并非数学的“终结”，它或许能作为一种强大的工具来处理繁琐的证明生成，从而使数学家能够专注于更高级的概念创新和系统设计。
受 Sigge Winther Nielsen 所著《创业型国家》（*The Entrepreneurial State*）启发，作者探讨了大型政治与私营部门项目反复失败的问题。这些失败常被归咎于高度的不确定性，但作者认为，通过严谨且迭代式的执行，可以降低“决策风险”。 与其投入大规模的预设项目，组织应将工作拆解为尽可能小的可学习单元。通过行动与学习的交替，团队能根据现实反馈调整路径。至关重要的是，领导者应设定预期的成果，而非具体的产出。当掌握权力者在缺乏专业领域知识的情况下强行指定解决方案时，会扼杀团队向实际结果“攀登”的能力。 作者认为，政治改革的系统性失败并非不可避免，而是一个亟待解决的“元问题”。通过将系统思维应用于政治进程，我们完全有机会摆脱僵化、高风险的规划，转向一种更敏捷、更有效的社会挑战解决方案。作者保持乐观，认为只要找出这些制度性失败的根本原因，我们就能使政治决策的制定与实施实现现代化。
对不起。
非对称量化：实现 97% 存储压缩的近无损检索 Asymmetric Quantization: Near-Lossless Retrieval with 97% Storage Reduction
2 天前
像 Wholembed v3 这类后期交互模型通过保留细粒度的文档信息，显著提高了检索精度，但由于每个文档会生成数百个向量，导致其存储成本高昂。 为了使该技术在十亿级文档规模下具备实用性，Mixedbread Search 团队在其“Silo”引擎中实现了**非对称量化**。通过保持查询向量的高精度（int8），并将文档向量存储为 1 位二进制符号，该系统实现了每个文档 32 倍的存储缩减，从 393 KiB 降至 12.28 KiB。 这种方法在极小程度降低 NDCG@10（从 90.26 降至 89.65）的同时保留了排名质量，并显著提升了性能。由于文档向量是持久的而查询是短暂的，这种权衡优化了系统的主要成本驱动因素：存储、IO 和缓存空间。此外，二进制文档格式允许使用优化的评分内核，以简单的选择与求和操作取代复杂的乘法运算。最终，该方法在利用高质量多向量表示的同时，保持了大规模生产搜索系统所需的高效率和低成本。
mixedbread 发表的文章《非对称量化：实现 97% 存储压缩的近乎无损检索》探讨了一种大幅缩减检索任务中文档向量嵌入存储空间的方法。通过将 Int8 查询与二进制文档向量配对，作者在实现 32 倍（97%）存储压缩的同时，仅导致了极小的检索质量下降（NDCG@10 得分从 90.26 降至 89.65）。
这篇文章在 Hacker News 上引发了关于“近乎无损”这一术语的激烈争论。批评者认为，在信息论中，“无损”是一个客观的二元状态，将有损过程称为“近乎无损”具有误导性。相反，支持者则认为，该术语恰当地描述了在巨大的存储节省与微不足道的性能损失之间所取得的实际权衡。
讨论还涉及了技术实现层面，指出该方法与 BitNet 等策略的相似性，并强调了使用 NDCG@10 等指标来证明质量损失确实极小的重要性。除了技术辩论外，用户还对文章由人工撰写表示赞赏，并将其与当前泛滥的 AI 生成内容进行了对比。
**MarketFish** 是一个开源的多智能体市场模拟引擎，旨在以数据驱动的验证取代推测。它不再依赖单一的大语言模型（LLM），而是在数字市场中部署了 128 个以上的异构 AI 智能体，每个智能体都具备独特的预算、情绪和偏好。
通过 30 轮模拟，这些智能体会进行互动、相互影响并做出购买决策。MarketFish 基于六大学术框架（包括 *Generative Agents*、*TwinMarket* 和 *EconSimulacra*）构建智能体行为，为产品市场匹配度、流失模式和竞争定位提供可操作的见解。
**主要功能：**
* **多元智能：** 支持 11 家 LLM 提供商（包括 DeepSeek、OpenAI 和 Claude），以构建真实且多样的消费者群体。
* **先进模拟：** 采用 5 阶段流水线来生成市场结构、知识图谱和智能体行为。
* **灵活模式：** 使用“探索”（Explore）发现产品方向，“验证”（Validate）进行生存评分和定价测试，或使用“混合”（Hybrid）模式与 AI 驱动的竞争对手展开博弈。
* **独立运行：** 无需外部依赖（无需 Zep 等外部数据库），提供了一种轻量级、MIT 许可的通用模拟器替代方案。
MarketFish 将市场调研转化为可重复、可扩展的实验，帮助创始人甚至在投入一分钱开发之前，就能精准识别产品成功或失败的原因。
抱歉。
METR 最近的一项研究揭示了开发者对 AI 在软件开发中实际影响的认知与现实之间存在危险的脱节。虽然经验丰富的开发者在使用 AI 工具时感觉速度提升了 20%，但受控测量显示，他们的实际工作效率反而下降了 19%。这种“失准的标尺”表明，速度感不仅存在误差，而且具有极强的误导性。 AI 加快了打字阶段的速度，但这从未是软件开发的主要瓶颈。相反，它将负担转移到了验证和审查阶段——这一环节不仅成本高昂、耗时，而且极易出错。来自 DORA 和 GitClear 等更广泛行业来源的数据也证实了这一点：尽管代码生成量和拉取请求（Pull Request）数量激增，但最终交付量却停滞不前，且代码变动率增加、稳定性下降。 目前，整个行业正处于“验证瓶颈”中，即审查 AI 生成内容的成本已高于工具本身节省的时间。为了应对这一挑战，工程领导者必须停止依赖主观的团队开发速度和员工自述的生产力感受。取而代之的是，应关注客观的产出指标——即真正进入生产环境并保持稳定的代码量，并重新调整人力配置，以支持那些被 AI 无意中加重的关键审查流程。
这篇 Hacker News 帖子讨论了一项 2025 年的研究，该研究声称开发人员在使用 AI 时感觉速度提升了 20%，但实际上效率却降低了 19%。讨论呈现出高度的两极分化，许多用户认为该研究已经过时或存在缺陷，并指出较新的数据表明效率提升了 18%。
辩论的主要观点包括：
* **方法论质疑：** 批评者认为，跨不同任务衡量“速度提升”过于简化，且未考虑到软件工程的多样性；AI 可能擅长机械性任务，但在处理需要大量上下文的架构设计时却力不从心。
* **“验证”瓶颈：** 一些人认为，虽然 AI 降低了代码生成的成本，但开发人员目前花费更多时间在代价高昂的验证工作上；随着对 AI 生成代码信任度的提高，生产力有望提升。
* **感知与现实：** 用户将 AI 体验与其他工具（如 IDE 或快捷键）进行了对比，指出“生产力”感往往是一种主观心理状态，而非量化指标。
* **背景过时：** 许多参与者批评该帖引用了陈旧的数据，认为 AI 模型的快速迭代使得一年前的生产力基准在当前的开发环境下已不再适用。
“The Wisdoms”（由 The Eskimo 整理的一系列实用 Apple 开发者论坛文章）即将迎来更新。为方便用户追踪变动，现已启用一套颜色编码系统：🟢 表示新文章，🟡 表示已更新，🔴 表示内容已弃用。弃用的内容已由 Apple 官方文档取代，完整的版本历史记录可在提供的更新日志（CHANGELOG）中查看。 该合集涵盖了开发者关注的核心主题，包括代码签名、App Store 工作流程、配置描述文件、公证、iOS 后台进程以及各类技术难题。尽管提供 PDF 存档，但仍建议使用实时链接以获取最新信息。所有内容均受 Apple 开发者论坛许可协议约束。
抱歉。
本文批评了谷歌的“安卓开发者验证”（ADV）计划，指出这是一项限制性的系统级举措，破坏了安卓系统的开源本质。作者认为，谷歌通过“Play 保护机制”强制执行中央注册，实际上充当了唯一的守门人，拥有单方面定义并封锁所谓“恶意软件”的权力。 文章警告称，由于谷歌未对“恶意软件”给出明确定义，该系统可能会以安全为幌子，压制如广告拦截软件等竞争对手。尽管谷歌声称该计划旨在防止恶意活动，但包括大型民权和开源组织在内的批评者认为，这是一项不必要且严苛的措施，强制收集个人数据并集权化管控。 文章对该强制令损害软件自由和用户自主权深表担忧。随着该计划在部分地区率先推出，作者警告称，谷歌正在瓦解过去 18 年的开放式开发模式，构建一种“信任我”的安全模型，这威胁到了 F-Droid 等独立软件存储库的生存。作者目前尚无法确定即将到来的强制执行所带来的具体技术影响，但正积极为受此安卓生态系统变革影响的用户准备相关指南。
这篇 Hacker News 帖子讨论了谷歌新推出的“安卓开发者验证”（Android Developer Verification，简称 ADV）计划。该计划要求开发者在通过 Google Play 商店以外的渠道分发应用时，必须先验证身份。
**核心观点：**
* **批评意见：** 许多用户和 F-Droid 团队将 ADV 视为实现中心化控制的“特洛伊木马”。批评者认为，谷歌通过强制要求开发者提供政府颁发的身份证件并缴纳费用，实际上是在把控通用计算的准入权，威胁了匿名性，并可能赋予其随意删除“未获批准”应用的权力。一些人认为这是迈向类似 iOS 的威权式“围墙花园”模式的进一步举措。
* **辩护意见：** 另一些人则认为这种愤怒被夸大了。支持者认为，该机制是应对猖獗的金融诈骗、欺诈和钓鱼攻击的必要手段，并有助于谷歌在遵守反垄断裁决的同时，为非技术用户维持基本的安全底线。他们指出，新的“高级流程”（Advanced Flow）仍然允许侧载，尽管过程会有些繁琐。
* **关于“替代方案”的辩论：** 讨论凸显了数字独立性的脆弱。许多用户因为使用 GrapheneOS 或 LineageOS 等注重隐私的操作系统，而无法使用银行、政府证件等关键服务。虽然有人呼吁转向基于 Linux 的移动设备，但另一些人认为这些方案目前在日常使用中并不切实际，且缺乏必要的安全标准。
CursorBench 3.1 旨在评估 AI 智能体在处理复杂、多文件真实编程任务时的表现，包括代码库分析、调试和重构。该基准测试通过任务成功率与单次任务平均成本的对比来衡量模型性能。 **主要发现：** * **顶级表现：** Fable 5 (Max) 以 72.9% 的成功率位居排行榜首位，紧随其后的是 Fable 5 的其他高阶配置。 * **成本与质量：** 成本与性能之间存在明显的正相关关系；如 Fable 5 和 Opus 4.8 等高分模型，由于 token 使用量和处理步骤的增加，其价格也更高。 * **效率：** 与顶级模型相比，像 Composer 2.5 这样注重预算的选择，能在显著降低成本（每项任务 0.55 美元）的同时提供极具竞争力的结果（63.2%）。 * **方法论：** 分数基于模型在模糊的多文件代码任务中的表现计算得出。成本则是根据标准每百万 token 定价并应用于实际使用数据所得，且承认微小的分数偏差可能在误差范围内。 总体而言，该基准测试突显了一种权衡：用户必须在 Fable 5 等模型的高精度、高成本性能，与 Composer 等轻量级模型的成本效益效率之间做出选择。
编程助手 Cursor 最近发布的“CursorBench”在 Hacker News 上引发了广泛讨论。Cursor 声称其内部的“Composer 2.5”模型以极低的成本，实现了与 Opus 4.8 和 GPT-5.5 等行业领先模型相当的性能。
批评者对此持高度怀疑态度，并指出诸如 *Artificial Analysis* 等独立的第三方测试显示，Composer 2.5 在 DeepSWE 等严苛基准测试中明显落后于顶级模型。许多用户认为，Cursor 的基准测试很可能是针对其自身训练数据进行了过拟合，旨在以最有利的方式展示该公司的产品。
社区基于使用场景呈现出明显的两极分化：
* **支持者**称赞 Composer 2.5 在日常 Web 开发任务中速度快、效率高，认为它对于大多数迭代式编码工作而言“已经足够好”。他们认为，Opus 等顶级模型在实际日常工作中往往速度过慢且“代币消耗过大”。
* **怀疑者**则认为 Composer 生成的代码较为“肤浅”或“不规范”，缺乏复杂工程所需的推理能力，并警告称其经常引入隐蔽且危险的漏洞。
归根结底，大多数开发者认同基准测试具有“欺骗性”，模型的真正价值取决于具体的工作负载和个人的工作流。