## 以色列与谷歌、亚马逊的秘密云协议
2021年，以色列与谷歌/亚马逊之间达成了一项价值12亿美元的云计算协议，名为“Nimbus项目”。该协议包含不同寻常的要求，以保护以色列数据。由于担心外国执法部门访问存储在美国云平台上的数据，以色列坚持采用一种“眨眼机制”——一种嵌入在付款中的秘密代码，用于在数据被披露给外国当局时发出警报。
泄露的文件显示，谷歌和亚马逊同意了这一点以及其他严格的控制措施，有效地优先考虑了以色列的需求。这些措施包括禁止限制以色列政府、安全部门和军队使用其服务，即使违反了服务条款。这源于对因以色列在被占领土上的行动而引发的抵制或法律挑战的担忧。
“眨眼”机制通过与请求数据的国家/地区的区号相对应的付款运作，并且对于未披露信息收取巨额费用。两家公司都否认规避法律义务，但文件表明它们调整了内部流程以适应以色列的要求。与微软不同，微软最近因监视问题暂停了以色列军队的访问权限，谷歌和亚马逊在合同上受到禁止采取类似的单方面行动。该协议凸显了科技公司为获得有利可图的政府合同所做的努力，并引发了对数据隐私和问责制的质疑。
每日HackerNews RSS
## 黑客新闻讨论摘要：以色列、谷歌、亚马逊和数据请求
一份泄露的文件显示，以色列要求谷歌和亚马逊实施一个系统，秘密确认数据请求，绕过法律命令。该计划涉及“特殊补偿”支付——金额对应于请求国家的区号——在数据传输24小时内完成。这旨在表明合作，同时不违反保密令。
讨论的中心在于该计划的合法性和可行性。许多评论员认为这是一个冒险的、潜在非法的规避方案，质疑它如何通过法律审查。有人认为这增加了第二项罪行（欺诈性支付），并且在美国法律下无法经受得住审查。另一些人推测，考虑到合同价值，这可能是在高层达成的协议。
一个关键的争论点是，以色列是否凌驾于法律之上，以及美国是否容忍这种行为。人们对潜在的滥用以及对数据隐私和国际法的影响表示担忧。几位用户指出涉及以色列和美国的过去事件，加剧了对该安排合法性的怀疑。对话还涉及政府监控和科技公司权力等更广泛的问题。
270231个中，17893个（6.6214%）。今天的词是tingling：“微小脉冲神经地产生轻微瘙痒的神经光芒”。最近编辑：parsimony, enrico, gaiter, gay, squirts, tureen, enter, mine, manducate, integrity。随机定义的词，随机未定义的词。关注@acronymy.net & @daily.acronymy.net。🏆排行榜🏆
## 首字母缩略词与词语的细微差别 - Hacker News 讨论摘要
一个由 [acronymy.net] 网站（一个将词语定义为首字母缩略词的网站）引发的 Hacker News 讨论，探讨了语言和意义的复杂性。用户们争论像 Claude 这样的 LLM 是否擅长剖析词语定义，普遍认为它们在*技术*层面表现出色，但缺乏诗意的理解。
对话深入探讨了通过同义词合并进行语言压缩的可能性，估计词汇量可以减少 30%。这引出了对乌托邦小说，如 *1984* 和 Randall Monroe 的 *Thing Explainer*，作为简化语言的例子的引用。
一条特别有见地的评论剖析了“happy”、“glad”、“pleased”和“delighted”等词语之间的微妙差异，追溯了它们的词源，并认为现代英语已经粗心大意地模糊了这些区别。作者强调了每个词语都带有与运气、感知、期望和感性相关的独特含义，这些含义在当代用法中已经丧失。最终，讨论建议通过阅读较早的文学作品来恢复语言的精确性。
## 蜗牛如何处理声音
蜗牛是内耳中充满液体的结构，在分析声音方面表现出色。它通过微小的骨骼接收来自鼓膜的振动，这些振动沿着基底膜传播。关键在于，该膜的结构能够分离频率——高频率在基底部共鸣，而低频率在顶点附近共鸣。
沿着膜的毛细胞随后通过一种涉及离子通道的独特“陷门”机制将这些振动转化为电信号。然而，蜗牛*并不*执行标准的傅里叶变换。相反，它利用滤波器，在时间（声音发生的时间）和频率精度之间进行权衡。
这种滤波策略类似于小波和加伯变换的混合，似乎针对有效地表示自然声音进行了优化。研究表明，不同类型的声音——语音、动物叫声、环境噪音——以不同的时间和频率分辨率平衡进行处理，这可能是因为人类语音进化到占据独特的声学生态位。最终，蜗牛的设计表明它优先考虑生态相关的表征，以实现有效的听觉感知。
## 耳朵并非执行 *A* 傅里叶变换
这篇文章挑战了普遍认为耳朵对声音执行传统傅里叶变换的观点。相反，它认为耳朵利用的是时域局部化的频域变换，更类似于小波（特别是小波变换和加伯变换之间）。这是因为声音通常在时间上是局部的，需要一种不同于分析无限连续信号的方法。
文章还提出，人类语音是在频率和包络持续时间空间中进化出独特的“利基”，可能影响了耳朵的特定特征。有人推测这是一种权衡，即占据未使用的声学空间、优化大脑处理速度以及进化约束之间的平衡。
虽然标题有些引人注目，但核心论点集中在耳朵超越简单傅里叶分析的复杂处理上，强调了它以细微的精度在时域和频域中分析声音的能力。这是一个复杂的系统，涉及感知建模和实时源分离，远远超出了基本的频率分解。
热图根据每个差异行/令牌可能需要的人工关注程度进行颜色编码。与PR审查机器人不同，我们试图标记的不仅仅是“这是一个错误吗？”，而是“值得再看一眼吗？”（例如：硬编码的密钥、奇怪的加密模式、复杂的逻辑）。要试用它，请在任何GitHub拉取请求网址中将github.com替换为0github.com。在底层，我们将在虚拟机中克隆仓库，为每个差异启动gpt-5-codex，并要求它输出一个我们解析为彩色热图的JSON数据结构。
## 0github.com：AI驱动的代码审查热图 - 摘要
Lawrence Chen 创建了 0github.com，一个通过颜色编码拉取请求差异来增强代码审查的工具，基于所需的人工关注程度。它不仅仅标记潜在的错误，而是突出显示需要进一步审查的区域——例如复杂的逻辑、安全问题或不清晰的代码。用户只需在任何PR URL中将“github.com”前置“0”即可访问热图视图。
该工具利用LLM分析每一行代码，并根据其感知的重要性分配颜色。虽然前景可期，但最初的担忧涉及所需的GitHub访问权限（现已针对公共仓库解决）和计算成本。开发者正在探索优化方案，例如缓存和与IDE集成，以实现更流畅的工作流程。
讨论强调了潜在的改进，例如可定制的颜色方案、与现有安全分析工具的集成以及学习审查者的偏好。该项目是开源的（MIT许可证），并可在GitHub上找到：[https://github.com/manaflow-ai/cmux](https://github.com/manaflow-ai/cmux)。
## Qt Creator 18 发布：概要
Qt Creator 18现已发布，引入了**针对开发容器的实验性支持**，通过Docker简化项目设置。此功能会自动检测`devcontainer.json`文件并允许自定义容器配置。
除此之外，更新还包含一个集成了教程和博客文章的**概述选项卡的全新欢迎模式**。**用户界面改进**包括重新设计的通知和一个可选的选项卡式编辑器。
**C++支持**受益于Clangd/LLVM 21.1和代码模型修复，以及常见编码任务的快速修复。**QML用户**可以访问最新的QML语言服务器，无论其Qt版本如何。
**项目管理**方面，`.user`文件经过重新组织和改进的套件过滤。**运行配置**现在分为部署和运行设置，并可以选择在套件之间同步。CMake支持通过测试预设得到增强。
**设备连接**通过自动检测远程Linux设备上的工具和自动重新连接选项得到改进。还包括许多其他修复和改进，例如扩展的Git提交操作。
通过Qt在线安装程序或Qt帐户门户下载Qt Creator 18。
(Empty input provided. There is nothing to translate.)
## 蜂胶：自主Web应用质量保证 – 摘要
蜂胶 (propolis.tech) 是一种新工具，利用浏览器代理自主地进行Web应用质量保证。由Marc和Matt (YC X25) 开发，它模拟用户行为以识别错误并生成端到端测试，旨在超越传统确定性测试来提高软件质量。
核心思想是部署“蜂群”代理，协作探索网站，标记问题并为CI流水线提出测试建议。蜂胶擅长发现与非确定性输出相关的错误，例如由LLM驱动的功能，在这些功能中精确断言会失败。它被定位为“金丝雀”小组，在不影响真实用户的情况下进行测试。
目前定价为每月1000美元无限使用，并为小型项目提供选项，蜂胶已准备好投入生产。团队正在寻求反馈，并探索自主代理在验证方面的未来应用，超越错误检测。一些评论员强调了潜在的应用场景，如滥用检测和MFA流程测试，同时也指出了状态管理和身份验证方面的挑战。
演示地址：app.propolis.tech/#/launch。
## 冻结鸭湖：无移动部件的高性能数据湖
本文介绍了一种名为“冻结鸭湖”的方法，它使用云存储构建只读、高性能的数据湖，无需专用数据库服务器。传统的鸭湖需要一个目录数据库与存储配合使用，而冻结鸭湖则通过定期将数据快照“冻结”到存储在云存储（如AWS S3或GitHub）中的DuckDB文件中来绕过这一限制。
这种方法具有多项优势：成本最低、适用于公共数据访问、即时SQL可访问性，以及能够在不同云环境之间引用数据。更新通过创建新的冻结鸭湖来处理，旧版本可以通过文件修订或时间旅行查询来访问。
该过程包括收集数据文件路径、生成用于创建鸭湖的SQL脚本、创建本地鸭湖文件，然后将该文件发布到云存储。然后，通过标准的鸭湖方法访问，引用云端存储的文件。
作者演示了使用4,030个Parquet文件中的110亿行数据创建冻结鸭湖，耗时约22分钟，突显了其效率。虽然目前尚未涵盖模式迁移，但该技术为只读数据归档和分发提供了一种经济高效且易于访问的解决方案。
请更新您的浏览器。您似乎正在使用旧版或不受支持的浏览器。为了继续享受我们的产品，请更新至以下浏览器中的最新版本：Chrome、Firefox、Safari（仅限macOS）、Edge。
## Affinity 套件现已免费 – 褒贬不一
Affinity，此前是 Adobe 创意套件（Photo、Designer、Publisher）的付费替代品，现在通过 Canva 的一款新应用程序免费提供，这继 Canva 收购了 Serif 之后。这一消息引发了用户复杂的反应。
许多人欢迎专业级设计工具的可访问性，但人们对长期影响的担忧也在增加。一些人担心此举预示着“劣质化”的开始——转向订阅模式、数据收集或功能限制，类似于 Adobe 的做法。购买了许可证的现有用户感到他们的投资贬值，并担心原始应用程序的更新将被停止。
Canva 代表表示目标是更广泛的可访问性，AI 功能将通过订阅方式实现盈利，保持核心软件免费。这款新应用程序将 Designer、Photo 和 Publisher 的功能整合到一个界面中。然而，需要 Canva 帐户以及潜在的互联网连接正在引发隐私和控制方面的担忧。
Affinity 的未来仍然不确定，但最初的反应凸显了免费软件的好处与公司所有权潜在弊端之间的紧张关系。
许多强大的自由开源软件（FOSS）由于界面复杂，专为“高级用户”设计，让普通用户望而却步。这导致沮丧、放弃或依赖懂技术的的朋友寻求帮助。丹尼尔·德莱尼认为，这可以通过专注于核心功能的简单前端轻松解决。 他以Magicbrake为例，这是一个基于Handbrake的一键程序，它可以将视频转换为通用可播放的MP4格式，隐藏了Handbrake的高级选项。虽然一些开发者抵制简化工具，担心功能减少，但德莱尼主张优先考虑大多数用户的易用性。 他的核心观点是：80%的用户只需要20%的功能。通过隐藏其余部分，开发者可以创建更易于访问和高效的体验，就像简化电视遥控器一样。在媒体服务器和音频编辑等领域，有很多机会来提高易用性，使优秀的软件真正对每个人都有用。
## 自由软件与用户体验：摘要
一篇近期文章在Hacker News上引发了关于为什么自由软件常常让“普通”用户望而却步的讨论。核心问题并非“自由”的特性，而是复杂性。开发者，通常是资深用户，构建软件是为了满足*他们*的需求，从而导致功能丰富的应用程序让普通用户感到不知所措。
许多评论者同意，开发者常常低估良好的UI/UX设计。它比编码更难——每个人都理解按钮，但设计*有效*的界面是微妙的且用户特定的。添加选项的倾向（“再加一点…”）会导致软件臃肿。
提出的解决方案包括简化的前端（例如，一个被固定住的遥控器）、复杂软件中的“简单模式”选项，以及强大的产品管理的重要性，以定义清晰的用户焦点。一些人认为自由软件不*需要*迎合所有人，作为“由开发者，为开发者”构建的工具是完全有效的。最终，优先考虑被80%的用户使用的80%的功能可以极大地提高可访问性。