本文探讨了当元数据过滤将数据隔离为 HNSW 图中碎片化、不可达的“孤岛”时，Qdrant 如何保持高效的向量搜索性能。
Qdrant 采用两种主要策略来修复这些连接缺口：
1. **可过滤 HNSW（索引阶段）：** Qdrant 在构建索引时，会主动在共享相同负载（payload）值的点之间添加额外边。虽然这增加了构建时间和内存占用，但能让过滤查询更高效地遍历图结构。
2. **ACORN（查询阶段）：** 这是一项可选功能，允许搜索在没有直接路径时遍历“邻居的邻居”。这对于没有预构建边的过滤器非常有用。
基准测试表明，虽然两种方法都能提高召回率，但它们服务于不同的需求。“可过滤 HNSW”策略为常见过滤器提供了卓越的速度，而“ACORN”则作为处理极端情况的重要安全网。Qdrant 的查询规划器会智能地在这些基于图的策略和直接负载索引扫描之间路由查询，以优化性能。
建议用户监控不同过滤条件下（尤其是宽泛过滤器）的召回率，并仅在召回率提升足以抵消延迟成本的情况下启用 ACORN。
每日HackerNews RSS
过滤向量搜索：Acorn 解决了什么，以及什么解决了 Acorn Filtered Vector Search: What Acorn Fixes, and What Fixes Acorn
2 天前
抱歉。
“RollTab”的开发者创建了一个 1.25 亿参数的 Transformer 模型，能够在 iPhone 上实现钢琴实时即兴演奏。受 GitHub Copilot 的启发，该人工智能通过监听实时 MIDI 输入来建议音乐的后续旋律。 关键技术里程碑包括： * **自定义表示法：** 摒弃了标准的 MIDI 音符开/关（note-on/note-off）序列，转而采用一种紧凑格式，将音高、力度、持续时间和起始时间嵌入单个 Token 中。这使得模型能够逐个音符处理音乐，显著提高了速度和稳定性。 * **数据整理：** 事实证明，对 3 亿个音符事件的数据集进行严格清洗，比单纯增加数据量更为有效。 * **训练与微调：** 在训练过程中使用预定采样（scheduled sampling），有助于弥合“理想”数据与人类弹奏噪音之间的差距。 * **DPO：** 直接偏好优化（Direct Preference Optimization）——通过使用 Gemini 1.5 Flash 进行成对评估——是提升模型音乐性和逻辑连贯性的决定性因素。 最终的应用 RollTab 完全在本地设备上运行，处理速度约为每秒 108 个音符。尽管尚不完美，但它成功地在技术性能与钢琴演奏者的创意协作需求之间取得了平衡。
一位开发者最近分享了“Show HN: 我训练了一个 1.25 亿参数的模型，用于在设备端自动补全钢琴演奏”，这是一款通过根据用户输入预测音乐走向，从而实现实时钢琴即兴创作的应用。该工具基于一个 1.25 亿参数的 Transformer 模型，并使用约 3 亿个 MIDI 音符事件进行了训练，使音乐人能够在 iPhone 15 上直接与人工智能“即兴合奏”。
该项目在 Hacker News 上引发了激烈的讨论。支持者称赞了这一技术成就，将其比作历史上的古典即兴演奏实践，并强调了 AI 辅助构思的创造潜力。然而，另一些人则对 AI 在艺术中的角色表示不满，认为此类工具将“生成内容”置于学习乐理和演奏技巧这种以人为本的严谨过程之上。
在技术层面，讨论聚焦于模型优化、音乐结构的挑战（如节奏和长时段作曲），以及各种训练方法（如直接偏好优化，DPO）的有效性。虽然一些用户提出了增加功能的需求，例如 VST 支持或多轨编曲，但更广泛的讨论反映了文化观念上的日益分化：一方将 AI 视为激动人心的实验工具，另一方则担心它削弱了艺术造诣中的人文因素。
Proof of Human 是一家由普林斯顿大学科学家创立、并获得 Y Combinator 支持的初创公司。我们正在招聘一名优秀的“全栈工程师”，共同构建数字身份与机器人检测的未来。 在此职位中，您将负责架构可扩展的后端基础设施，以处理每分钟数百万次的会话，并主导关键功能的端到端交付。您将与创始人密切合作，共同制定技术路线图，并有机会为发表在《Science》和《NeurIPS》等顶级学术期刊上的高影响力研究做出贡献。 **理想的候选人应具备：** * 3 年以上软件开发经验。 * 精通 Python 和 Node.js。 * 具备成功构建和部署云基础设施（AWS、GCP 或 Azure）的实践经验。 * 拥有扎实的定量背景。 * 乐于在快速发展、高影响力的 AI 安全团队中工作。 如果您热衷于通过前沿 AI 技术维护网络诚信，Proof of Human 将为您提供一个绝佳机会，让您能够在严谨的科学研究与可扩展的产品部署之间架起桥梁。
对不起。
与“人工智能通过自动化基础编程任务使初级工程师过时”的观点相反，人工智能实际上提升了他们的价值。虽然有人认为初级工程师已沦为人工智能生成代码的“管道”，但这种观点忽视了工程学的核心目的：通过技术和产品判断力来解决客户问题。
工程学不仅仅是编写代码，它更关乎于管理复杂性和权衡取舍。通过利用人工智能处理繁重的技术工作，初级工程师甚至实习生现在能够全权负责交付以前因优先级过低而无法由资深员工处理的功能。
此外，人工智能充当了高效的导师，通过提供即时的上下文和技术指导，缩短了入职培训的过程。这种加速使初级工程师能够更早地做出实质性贡献。由于行业需要人工智能无法提供的深度技术判断力，企业必须投资培养自己的人才。通过赋予初级工程师“人工智能原生”的能力，组织可以提高整体生产力，从而解决以前被忽视的问题，并确保储备未来的专家，使他们具备在人工智能驱动的环境中引领行业的独特资质。
关于 AI 对初级工程师影响的讨论，Hacker News 上的观点呈现出严重分歧。
原作者认为，AI 并没有抹杀初级工程师的角色，而是暴露了过时的管理实践。他们主张，通过让初级工程师利用 AI 工具填补知识空白并负责端到端的功能开发，企业能够释放出以往无法触及的潜在生产力。
然而，许多评论者强烈反对，并警告称这会导致工程人才出现“断层”。批评者认为：
* **技能退化：** 将 AI 作为“拐杖”依赖，阻碍了初级工程师掌握基础概念、调试技能及故障模式。
* **“黑箱”问题：** 初级工程师往往将 AI 的输出视为黑箱，无法验证所提交代码的正确性，从而导致系统脆弱。
* **管理负担加重：** 资深工程师现在面临着大量未经核实的 AI 生成代码（即“垃圾代码”），这为代码审查带来了巨大且不可持续的瓶颈。
* **缺乏指导：** 传统的“学徒制”模式——即初级人员通过反复试验并在资深人员监督下学习——正在被 AI 所取代，这可能会切断未来资深人才的培养路径。
最终，共识倾向于认为：虽然 AI 可以提高开发速度，但它可能会以牺牲深厚、直觉性的专业素养为代价，而这种素养正是真正的工程能力所必需的。
最新研究显示，人工智能的未来在于在台式机本地运行的小型语言模型（SLM），而非高耗能的云端大型语言模型（LLM）。根据截至 2025 年 10 月的数据研究，SLM 在 81.2% 的综合聊天与推理任务中已达到或超越了 LLM，同时成本降低了 50%–85%，能效也显著提升。 尽管 LLM 在高难度推理、工程及智能体应用方面仍具优势，但 SLM 正迅速缩小差距。对于投资者而言，这一转变意味着超大规模云服务商可能对数据中心存在过度资本投入。如果 70%–80% 的 AI 任务都能在本地完成，那么对高端数据中心硬件的大规模投资可能变得多余。 报告指出，AI 热潮中真正的长期赢家可能并非云基础设施提供商，而是像苹果和戴尔这样推动本地计算的硬件制造商。随着行业的发展，专有 LLM 的利润率将面临来自高效、易用的本地模型的压力，这预示着价值链可能从庞大的数据中心基础设施向家庭和办公室的终端设备转移。
这场 Hacker News 讨论的核心是一个充满争议的观点：小型语言模型（SLM）的兴起可能会使超大规模云服务商（Hyperscalers）变得过时。
该理论的支持者认为，随着 SLM 变得越来越高效并能够在本地运行，企业和个人将不再依赖昂贵的、基于 API 的中心化模型。他们认为，这种转变可能会危及超大规模云服务商目前投入的大量基础设施资金。
然而，评论区普遍持怀疑态度。许多人认为：
* **便利性与规模：** 大多数用户更倾向于使用托管的 SaaS 服务，而不是去处理维护本地基础设施、硬件和数据安全的“麻烦”。
* **模型优势：** 在工程和科学研究等对准确性要求极高的复杂任务中，前沿大型语言模型（LLM）的表现仍显著优于 SLM。
* **经济现实：** 超大规模云服务商受益于巨大的规模经济、动态批处理以及本地硬件难以复制的寡头市场地位。
* **专业性：** 批评者指出，原文作者似乎是缺乏深厚技术理解的金融从业者，很可能误读了学术基准测试。
最终，虽然许多人认为本地、私有或专业化模型有增长空间，但大多数人认为，在高端推理和大规模企业需求方面，超大规模云服务商仍然不可或缺。
**YACS 2.0（又一个 Curta 模拟器）**是一款基于浏览器的交互式 Curta 机械计算器 3D 模拟器。该项目由一位爱好者创建，旨在为那些无法购买昂贵原版设备的人提供一种替代方案，并以此致敬该设备之“美”。 该模拟器完全由手工编写的 VRML 和 JavaScript 从零构建，特意避开了繁重的 CAD 或项目管理软件，转而追求手动精度与代码优化。得益于《计算器参考》（The Calculator Reference）的 Rick Furr 提供的详细测量数据、照片和测试，模拟器的准确性得到了显著提升。 在 X_ITE WebGL 查看器的支持下，用户现可直接在现代浏览器中旋转、缩放并操作该虚拟设备，无需安装任何外部插件。尽管该项目是一项技术成就，但作者指出，它仅用于视觉模拟，而非 3D 打印蓝图；如需查阅正规工程图纸，请咨询列支敦士登 MuseumMura 的档案库。YACS 2.0 是一个倾注了热情的项目，它证明了通过代码、耐心与社区协作，能够重现复杂的机械之美。
抱歉。
作者发现，速卖通（AliExpress）首页会在后台静默创建隐藏的“AudioContext”图，导致蓝牙多点连接耳机优先占用电脑音频，而非其他设备。与常规媒体不同，这些音频进程利用 Web Audio API 而非传统媒体元素，因此即使在标签页静音状态下也会保持活跃。 调查显示，这些进程属于阿里巴巴用于浏览器和设备指纹识别的高度混淆脚本（`collina.js` 和 `fireyejs.js`）。这些脚本会收集包括硬件规格、运动事件和 WebRTC 行为在内的大量数据，以创建用于机器人检测和防欺诈的持久设备配置文件。 由于这些脚本绕过了浏览器的静音控制并干扰了硬件功能，作者建议使用 uBlock Origin 将其拦截。添加特定的过滤规则以阻止这些脚本，可以防止隐藏音频上下文初始化。虽然这能有效恢复蓝牙功能，但作者提醒，拦截防欺诈脚本可能会在登录或结账等敏感操作期间触发额外的验证码或报错。
速卖通（AliExpress）正在利用“静默”WebAudio API 调用来执行浏览器指纹识别，这是一种通过分析独特的硬件特征来识别用户的技术。虽然这些音频对人类来说是不可听的，但它会在浏览器中创建一个持续的音频上下文，模拟活跃的媒体播放。
此过程对用户有显著的负面副作用：
* **蓝牙干扰：** 它会诱骗蓝牙多点设备保持“活跃”状态，导致它们优先处理速卖通页面，而非其他设备或音频源。
* **性能问题：** 持续的流会消耗 CPU 资源，导致移动设备和笔记本电脑的电池消耗增加及发热问题。
* **隐私担忧：** 用户在不知情或未同意的情况下被有效跟踪，绕过了标准的隐私预期。
社区呼吁浏览器应像对待麦克风或摄像头权限一样，严格对待音频 API 的访问——要求明确的用户许可或提供可见的指示器。一些用户通过使用自定义的 uBlock Origin 过滤器来屏蔽特定的指纹识别脚本从而缓解了该问题，而另一些人则认为，现代网络向浏览器通用 SDK 的转变从根本上破坏了用户的隐私和设备自主权。
为您的 IPv6 网站提供免费的 IPv4 前端。只需简单三步即可开始：阅读服务条款。在您现有的 AAAA 记录旁，创建一条指向 116.202.1.213 的 A 记录。推广此服务。没错，这就是您需要做的全部！我们认为，当 IANA 在 2011 年耗尽 IPv4 地址时，互联网就应该已经转换为双栈模式，这样新的客户端和服务器就可以毫无问题地仅使用 IPv6 进行部署。但事实并非如此。我们认为，网站所有者不应因为其他方未能及时升级而支付额外费用。因此，该服务对网站所有者免费。不过，我们会要求向我们发送 IPv4 流量的互联网服务提供商支付相应的流量费用。如果您是互联网服务提供商，可以注册免费试用。获取 20 欧元的 Hetzner 云额度，并帮助我们维持此项服务的免费。了解更多。
抱歉。
RAPx（Rust 分析平台与扩展）是一个可扩展、模块化的静态分析框架，旨在提升 Rust 在标准 `rustc` 编译器之外的安全性、稳健性和性能。该框架分为用于程序分析算法的核心层和用于特定任务的应用层，支持错误检测、别名分析、调用图生成及优化检测。
其核心特性之一是基于契约的验证流水线，允许开发者通过安全不变量对函数和结构体进行标注。利用基于 Z3 的 SMT 求解器，RAPx 可执行路径敏感分析，以证明内存对齐、非空性及初始化等安全属性，从而确保 `unsafe` 代码块不存在未定义行为。该平台包含标准库的安全契约库，并允许用户通过宏定义自定义谓词。
RAPx 需要使用 nightly Rust 工具链，可通过 `cargo` 获取。它直接集成于 Cargo 工作流中，提供对验证模式和目标过滤的细粒度控制。尽管目前仍处于积极开发阶段，但该平台已成功验证了复杂的现实场景中的 `unsafe` 抽象，成为专注于高可信 Rust 代码的开发者的有力工具。详细文档请参阅《RAPx-Book》。
抱歉。
当有人向你提问时，他们寻求的是你独特的视角、判断和专业知识，而不是来自聊天机器人的通用且未经润色的回复。依赖人工智能生成并直接复制粘贴的回答是适得其反的；接收者很可能也拥有同样的工具，完全可以在几秒钟内自行生成同样的内容。 相反，应将人工智能视为起草伙伴，而非你个人声音的替代品。阅读模型的输出，提取相关要点，并根据你自己的见解进行重写。保持回复简洁；通常，三句深思熟虑的话比一大段人工智能生成的文字更有价值。如果你觉得模型输出的某一部分很有用，可以引用它并解释为什么它很重要。 归根结底，如果你没有什么有意义的内容可以贡献，承认自己没有明确意见，总好过将人工智能生成的内容伪装成你自己的观点。优先考虑你的人为投入，以确保你的沟通保持真实且切实有效。
抱歉。