本摘要旨在澄清近期公众对全球设备标识符（GDID）的困惑。 与网络流传的误解相反，GDID 并非基于硬件生成的 128 位序列号。它是一个 64 位的“设备 PUID”（通行证唯一 ID），是在 Windows 安装并注册 Microsoft 账户（MSA）身份堆栈的过程中，由微软服务器分配的。 **核心发现：** * **机制：** 连接设备平台（CDP）本身并不生成该 ID；它是从 `wlidsvc`（MSA）服务中获取，并注册到设备目录服务（DDS）中的。 * **持久性：** GDID 专属于特定的 Windows 安装。虽然它在操作系统更新后依然存在，但重新安装 Windows 会触发新的配置流程，从而生成一个新的 GDID。 * **隐私：** 该 ID 以明文形式存储在注册表中（`HKCU\SOFTWARE\Microsoft\IdentityCRL\ExtendedProperties`）。它作为一种持久的设备级标识符，用于跨设备同步和遥测。 * **缓解措施：** 由于该 ID 与 MSA 和身份图谱绑定，仅删除本地文件是无效的。若要降低暴露风险，用户可以禁用“活动历史记录”和“连接设备平台”服务，但这会影响跨设备功能的使用。
每日HackerNews RSS
arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的重视。arXiv 致力于秉持这些价值观，且仅与遵守这些价值观的合作伙伴开展合作。您是否有能为 arXiv 社区增值的项目想法？了解更多关于 arXivLabs 的信息。
对不起。
Kapa 通过在检索与生成阶段之间引入基于大语言模型（LLM）的“剪枝器”（pruner），优化了其 RAG（检索增强生成）工作流。
传统的 RAG 依赖检索器向大模型提供大量文档片段，并假设生成器会自动过滤噪声。然而，由于生成器的 Token 成本高昂，忽视这些噪声会导致极高的费用。Kapa 的解决方案是使用一个小型、低成本的大模型，在检索到的片段进入昂贵的生成器之前，先评估它们与用户问题的相关性。
通过采用五级相关性评分机制，剪枝器能够有效地识别并剔除无关信息，在保持 96% 召回率的同时减少了约 68% 的上下文内容。在扣除剪枝器本身的运行成本后，这一过程使总查询成本降低了约 34%。尽管此方法增加了不到一秒的延迟，但显著提升了效率，对于上下文管理至关重要的复杂智能体而言尤为有效。目前，该剪枝器已成为 Kapa 产品智能体 SDK（Product Agent SDK）的默认配置，为拥有庞大知识库的 AI 助手提供了一种更精简、更具成本效益的实现方式。
这次 Hacker News 的讨论围绕 kapa.ai 最近关于 RAG（检索增强生成）语境“修剪”的文章展开。
讨论涵盖了几个核心主题：
* **术语之争：** 用户们就“RAG”这一术语的准确性进行了辩论。一些人认为这对于语义搜索、编排和智能体工具使用等复杂过程来说是一个过于简单的标签；另一些人则将其视为用检索到的信息来增强大模型输出的统称。
* **RAG 的现实情况：** 经验丰富的从业者指出，“RAG”常被用作基础文档检索系统的营销术语。他们认为，现实世界的成功更多地依赖于严谨的数据工程、索引和质量测试，而非“神奇”的搜索算法。
* **修剪问题：** 讨论强调了基于相关性进行修剪（剔除相似度评分较低的数据块）的风险。批评者警告称，这可能会删除获得完整答案所必需的关键性、细微或“稀有”信息。支持者则认为，先进的多步骤相关性模型可以降低这种风险。
* **不断演变的语境：** 许多人指出，尽管更大的上下文窗口允许输入更多数据，但“塞入式上下文”（context stuffing）会导致模型难以处理噪声，因此为了兼顾成本和准确性，高效的检索和修剪依然非常必要。
此网站正在使用安全服务来保护其免受在线攻击。您刚才的操作触发了安全解决方案。有多种操作可能导致此拦截，包括提交特定的词汇或短语、SQL 命令或格式错误的数据。
在人工智能与“氛围编程”（vibe coding）的时代，有人认为学习编程已不再必要。然而，Val Town 的创始人史蒂夫·克劳斯（Steve Krouse）主张，编程仍然是一项至关重要的追求——这不仅是为了职业发展，更是作为一种基础的教育工具。 克劳斯借鉴了西摩·帕普特（Seymour Papert）的“数学王国”（Mathland）愿景，认为编程是通往逻辑思维、调试能力和构建能力的强大门户。除了这些元技能之外，编程还培养了一种独特的能动性，使个人能够通过精确的语言将抽象的想象转化为现实——这就像是在“施展咒语”。 克劳斯将代码与其他博雅教育学科相提并论，并指出，尽管大语言模型（LLM）可以生成语法，但这并没有削弱理解支撑我们世界的形式语言的价值。归根结底，编程是一项具有创造性、令人愉悦且赋予力量的活动。无论是作为理解数学的视角，还是作为构建软件的工具，“真正的计算机革命”——即普及编程素养——依然是一个值得追求的目标，它提供了一种变革性的方式，让我们能够参与并塑造现代世界。
关于“学习编程是否仍有价值”的 Hacker News 讨论显示，人们在将编程视为一种**基础技能**还是**商品化劳动**之间存在巨大的分歧。
**支持编程仍具重要性的观点：**
* **深刻的理解力：** 许多专家认为，如果不具备编程技能，就无法评估 AI 的输出、调试复杂系统或设计可扩展的架构。编程被视为一种形式化逻辑的“思维方式”，就像尽管有计算器，数学家仍需掌握基础数学一样。
* **“架构师”角色：** 支持者认为，随着 AI 处理“样板式”任务，人类程序员将转型为“指挥官”或架构师。这一层面的工作仍需要高水平的技术专长，以有效地引导 AI 智能体。
* **内在价值：** 有人认为，编程就像文学或音乐一样，是一种创造性的手艺。即便 AI 能生成平庸的代码，人类仍会珍视构建事物的过程，而不仅是其市场价值。
**认为编程重要性下降的观点：**
* **市场现实：** 持怀疑态度者认为，专业编程正日益成为一种小众的“匠人”行当。他们认为对于大多数商业应用而言，“足够好”的 AI 生成代码将使手动编程对初学者来说在经济上不再划算。
* **抽象的局限性：** 许多人担心，过度依赖大语言模型会导致一代“只靠感觉写代码”的开发者出现；当抽象层失效时，他们缺乏修复系统的基础知识，从而导致未来出现难以维护且充满漏洞的软件。
罗特曼透镜 Rotman Lens
3 天前
Rotman 透镜由 Walter Rotman 和 R. F. Turner 于 1963 年首次提出，是一种用于射频 (RF) 波束赋形的无源电子元件。它无需复杂的移相器，即可实现多波束天线阵列。
该设备通过利用一组输入“波束”端口和输出“阵列”端口来发挥作用。当信号输入到特定的输入端口时，它会以不同的相移到达输出端口。通过将这些输出连接到天线阵列，只需切换输入端口，即可控制发射波束的方向。为了提高性能，设计中通常会加入“虚拟端口”来吸收多余信号，防止设备边缘产生反射。
Rotman 透镜通常采用微带基板或中空导电波导制成。由于其高效和多功能的特性，它们被广泛应用于现代雷达领域。
抱歉。
**pon** 是一个基于 Rust 编写的实验性高性能 Python 3.14 运行时与编译器。它摒弃了传统的解释器和字节码模式，利用 **Ruff 解析器**将 Python 代码转换为统一的中间表示（IR），随后通过 **Cranelift** 将其编译为机器码。
该项目提供两种主要工作流程：
* **JIT（即时编译）：** 进程内分层编译，具备类型反馈、后台优化及栈上替换功能。
* **AoT（预先编译）：** 将模块编译为独立的本地可执行文件。
内存由自定义的 **Green Tea 垃圾回收器**管理，运行时采用了精简的对象模型，消除了 CPython 引用计数带来的开销。
该项目的核心是与 CPython 3.14 保持**字节级差异的一致性合约**。开发过程严格遵循 CI 强制执行的“基准”文件，确保任何输出回归都会导致构建失败。尽管项目仍处于深度开发阶段，其目标是成为“Python 版的 V8”——一个具备内置包管理器和全面标准库支持、快速且单一的二进制运行时。目前的工作重点在于扩展标准库、优化性能以及实现与 CPython 测试套件的完全兼容。
一个旨在将 Python 3.14 编译为 Metal 的项目发布后，在 Hacker News 上引发了激烈争论。怀疑论者认为，该项目本质上只是 Python 的一个“凭感觉”生成的子集，无法与 CPython 对等，并称这是继以往尝试在标准解释器之外实现 Python 后又一次失败的尝试。他们认为，如果没有深厚的人类专业知识和架构监督，维护如此复杂的 AI 生成代码将是不可能的，最终只会导致“脆弱”的软件。
相反，支持者认为 AI 显著降低了构建自定义编译器的门槛，使得以前成本过高的细分用例成为可能。他们将此视为软件开发方式的潜在转变，即由 AI 来处理繁重的实现和维护工作。
此次讨论还涉及了 AI 编写项目所带来的更广泛影响，批评者呼吁在 Hacker News 等平台上加强对“AI 垃圾内容”的筛选。尽管有些人将其视为开发者工具领域开创性的演进，但另一些人依然确信，如果没有人类维护者长期、稳健的投入，这些项目注定会沦为被遗弃且无法维护的技术债务。
作者在亚马逊将其功能完好的 Kindle 设为无法下载新购书籍后，表达了强烈的不满。作者并没有屈服于购买新设备的压力，而是计划通过下载所购书籍的免 DRM 版本来绕过亚马逊的限制。
作者指出了这种“半锁死”策略在商业上的无能。作为曾经每年购买约 50 本书的忠实客户，他们现在面临一个选择：要么花时间购买亚马逊的书籍，然后再手动侧载盗版文件；要么干脆放弃购买。通过降低现有硬件的用户体验，亚马逊促使作者——以及可能许多其他用户——放弃了其平台，将一名付费客户转变成了盗版使用者。
Hacker News 的讨论主要集中在对亚马逊决定停止支持旧款 Kindle 设备的沮丧上，这一举措导致这些设备实际上无法再访问 Kindle 商店。
用户们围绕亚马逊“掠夺性”生态系统的道德性与盗版行为的伦理展开了辩论。许多人认为，既然亚马逊将数字“所有权”视为一种有条件的、可撤销的许可，那么客户绕过该平台便是合理的。提出的替代方案包括：
* **抵制亚马逊：** 从独立书店、出版商或 Kobo、Ebooks.com、Libro.fm 等平台购买书籍。
* **直接支持：** 鼓励读者直接向作者付费，以绕过助长企业垄断的“中间商”费用。
* **实用工具：** 使用 Calibre 来管理、转换和保存 EPub 文件，确保摆脱对特定硬件或 DRM（数字版权管理）的依赖。
尽管一些参与者强调了财产权的重要性以及亚马逊所提供的实际便利，但共识倾向于深切的不满。许多人建议，此次事件应作为一个警钟，促使人们放弃专有生态系统，转而支持开放、便携的格式，将用户所有权和对创作者的直接支持置于企业控制之上。
仅凭“每百万 Token 价格”来评估 AI 成本是一种有缺陷的策略，这可能导致更高的支出和更低的效果。 比较 Token 价格之所以会产生误导，主要有两个原因。首先，不同实验室的专有分词器（Tokenizer）差异巨大；同一个模型将相同的文本切分成 Token 的数量可能会比另一个模型多出 30%，这在不改变标价的情况下实际上推高了成本。其次，Token 效率——即模型在每个 Token 上实现的“思考”或输出量——存在极大差异。许多模型在“思维链”处理上会消耗大量 Token，这些费用虽然会被计入账单，但并不一定能转化为相应的性能提升。 正如基准测试数据所表明的那样，每 Token 价格较低的模型并不总是更便宜。例如，有些模型看起来很经济，但效率较低，导致完成每个任务的总成本反而更高。相反，如果价格较高的模型能用更少的 Token 完成任务，它们反而更具成本效益。 为了优化 AI 支出，企业必须超越表面的定价，转向评估“单项任务完成成本”。如果不这样做，企业将面临为劣质结果支付溢价的风险，同时也会忽略特定模型架构中隐藏的低效问题。
像您这样的人正在通过在 OpenStreetMap 上添加地点、反馈功能建议以及在 Codeberg 上贡献代码，共同打造出色的地图。本项目是 Organic Maps 和 Maps.Me 的分支，由开源社区驱动。
CoMaps 是一款由 OpenStreetMap (OSM) 数据驱动的开源离线地图应用程序。Hacker News 社区的讨论强调了以下几个要点：
* **功能性：** 用户称赞该应用具备离线功能，适合徒步使用，且能够保存自定义路线——这是 Google 地图等大型商业软件中往往缺失的功能。
* **对比：** CoMaps 是 Organic Maps 的一个近期分支。尽管一些用户欣赏其更活跃的开发节奏和社区驱动模式，但另一些用户仍倾向于使用 Organic Maps，认为其用户界面和使用体验更为成熟。所有基于 OSM 的应用程序都面临一个共同难题，即“搜索”功能——查找特定地点或商家往往不如基于 Google 的平台可靠。
* **数据贡献：** 讨论帖强调了社区参与的重要性。诸如 *StreetComplete* 之类的工具可以让用户在出行时轻松更新地图数据（例如添加徒步小径或无障碍设施信息）。
* **局限性：** 尽管导航功能强大，但用户指出 CoMaps 目前缺乏实时交通数据，这也是许多人仍会在设备上保留商业地图软件的主要原因。
* **治理：** 此次讨论反映了社区对于项目治理、资金透明度以及开源地图项目可能受到企业或外部势力影响的持续关注。