## 用于全文搜索的布隆过滤器：可扩展性研究
本文探讨了使用布隆过滤器创建空间高效的全文搜索索引的可能性，即使对于大型文档集合也是如此。核心思想利用了布隆过滤器的小尺寸——可能允许静态网站的客户端索引——但当扩展到少量文档之外时，会面临挑战。
最初尝试通过排序或树形结构化过滤器来提高查询性能的努力被证明是无效的，因为自然语言具有高维度和固有的重叠性。一种更有希望的方法是使用“布隆过滤器的倒排索引”，使用树将词典单词映射到文档过滤器，模仿传统的倒排索引，但可能具有更小的存储空间。
然而，分析表明存在一个关键的限制：虽然布隆过滤器可以有效地将词典*压缩到*过滤器中，但它们不会在过滤器*之间*共享信息。每个文档的过滤器必须重新编码其所有单词，导致随着文档数量的增加而增加空间消耗。超过大约 7,200 个文档后，标准的倒排索引会更节省空间。
最终，布隆过滤器擅长将大型词典压缩成*少量*过滤器。随着过滤器数量的增加，优势会减小，这凸显了在选择数据结构时考虑数据协同作用的重要性。
每日HackerNews RSS
## 流形：数学中的基本概念 我们常常感知世界是平坦的，但从数学角度来看，形状可以具有复杂的内在结构——这些被称为**流形**。流形由伯恩哈德·黎曼在19世纪引入，它通过将重点从空间*作为背景*转移到空间*作为值得研究的对象*，彻底改变了数学，为现代拓扑学铺平了道路。 本质上，流形在局部看起来是欧几里得的——足够靠近任何一点，它都类似于平坦空间。仔细观察，圆圈看起来像一条线，而地球表面在局部看来是平坦的。这个概念允许数学家将熟悉的微积分技术应用于复杂的形状并探索更高的维度。 流形为解决不同领域的难题提供了一种通用语言。爱因斯坦在他的相对论中使用它们来描述时空，它们也被用于分析从钟摆运动和流体动力学到大脑活动和复杂数据集的一切。 就像学习字母表来理解一门语言一样，掌握流形对于现代数学和科学探究至关重要——它是理解我们宇宙及其更广阔几何结构的基础工具。
## 流形：摘要
这次Hacker News讨论围绕着Quanta Magazine的一篇文章，解释了流形——数学中描述空间的 fundamental 对象，在局部上类似于欧几里得空间。用户推荐了学习流形的资源，特别是John M. Lee的《光滑流形导论》（但被认为比较晦涩），以及Loring Tu的书作为更温和的替代方案。
对话强调了流形的抽象性质及其在物理学（弦理论、相对论）以及日益增长的机器学习（数据表示）等领域的重要性。一些人争论将流形的正式数学定义应用于诸如制图学或神经网络等领域是否有用，质疑这是否是严格的应用，还是仅仅是一种方便的比喻。
许多评论员赞扬Quanta Magazine的高质量科学新闻、可访问性以及缺乏点击诱饵。讨论还涉及了强大的数学基础对于理解这些概念的重要性，以及通过传统物理教学学习这些概念的挑战。最终，这个帖子展示了这个核心数学思想的复杂性和迷人应用。
为 Phomemo 小票/标签打印机反向工程的 CUPS 驱动程序
Reverse-engineered CUPS driver for Phomemo receipt/label printers
3 天前
此软件包提供工具，用于在 Linux 系统上使用 Phomemo M02、M110、M120、M220 和 T02 热打印机打印图像。它通过逆向工程官方 Android 应用程序与打印机之间的蓝牙通信来开发。
连接方式包括蓝牙和 USB。蓝牙需要通过 `bluetoothctl` 配对，并通过 `rfcomm` 连接。USB 连接使用 `/dev/usb/lp0` 或 `ttyACM0`。支持 CUPS（通用 Unix 打印系统）集成，需要为每个打印机型号安装和设置特定的 PPD 文件（例如，`Phomemo-M02.ppd.gz`、`Phomemo-M110.ppd.gz`）。
核心打印功能依赖于发送 EPSON ESC/POS 命令，这些命令是通过数据包分析发现的。该软件包包含一个 `phomemo-filter.py` 脚本（目前适用于 M02）来处理图像。蓝牙功能可能需要 SELinux 设置为宽松模式。M110/M120/M220 型号支持不同的介质类型（LabelWithGaps、Continuous、LabelWithMarks）。
## 小型标签打印机 & CUPS 驱动程序新闻
一个新反向工程的 Phomemo 小票/标签打印机 CUPS 驱动程序在 Hacker News 上引发了讨论。用户们分享了他们使用各种“廉价”标签打印机（如 Niimbot D110、Xiqi 和 Dymo）的经验，并指出与传统 Epson 或 Brother 选项相比，这些打印机具有价格实惠的标签耗材和更高的灵活性。
许多人赞赏这些打印机在整理工作空间和标记物品方面的作用，甚至有人用它们打印票据和二维码。 几位评论者提到了现有的驱动程序和软件，例如 `niim.blue`、`labelle` 和 Xiqi 打印机的 “FunnyPrint”。
对话还涉及了连接选项，讨论了小票打印机使用 WiFi 与有线连接的优缺点，并探讨了使用 Raspberry Pi 或 OrangePi 创建网络可访问打印服务器的解决方案。一个有趣的补充说明是，甚至存在适用于新奇“猫打印机”的驱动程序！ 最后，分享了 YC 2026 年冬季申请期间的提醒。
💨 臭 ✨ 登录 💨 前五名臭味 💨 前五名臭味健身房 💨 前五名臭味健身房 💡 请求功能 反馈 ☕ 请我喝咖啡 支持 🔒 注册 / 登录 ✕ 用户名 仅允许字母、数字、下划线或连字符；3-20个字符 密码 至少6个字符 注册 🌍 最远的健身房 计算中… 💨 最臭的健身房 计算中… 🏋️ 已访问的健身房 加载中… 📍 按地区划分的健身房 正在加载图表… 🔒 设置 / 重置密码 ✕ ✏️ 投你的一票 ✕
## Yourshoesmells.com：一个众包抱石馆地图
一个新网站[yourshoesmells.com](https://yourshoesmells.com)允许用户评价全球抱石馆的气味和设施。该网站由boshenz创建，使用Google Maps API填充地图，但承认数据准确性可能存在问题，包括一些误报和空白（尤其是在法国）。
用户目前可以登录投票，一些人认为这可能是一种“黑暗模式”。该项目正在寻求反馈，并计划实施添加/删除健身房的功能。
讨论亮点包括对字体可读性的争论，法国出乎意料的强大的抱石场景，以及攀岩馆（源于汗湿的攀岩鞋）与瑜伽馆独特的气味特征。 许多用户已经找到了他们当地的健身房列表，并提出了改进建议，例如自行车停车指示器。
## 四足体建模与设计见解
本文详细介绍了作者对混凝土四足体建模的探索——这种常用于海岸防御的消波结构，最近在设计领域也越来越受欢迎。出于好奇，作者试图找到一种数学上优雅的方法来定义四足体的形状，参考了Danel和Anglès d’Auriac的原始专利，其中规定了腿部的角度和比例。
作者使用build123d和CQ-editor成功地建模了一个四足体，从一个包围四面体的立方体的角开始构建。令人惊讶的是，“目测估算”方法得出的比例与发明者的规范非常接近——腿长和宽度大致等于立方体边长的一半。
该模型使用截断锥体来形成腿部，截断锥体的锥角由潜在的几何形状确定。关键尺寸，如大腿和脚踝的圆，是根据整体尺寸计算得出的，从而产生一个合理且视觉上准确的表示。作者提供了详细的公式以及一个交互式three.js动画和源代码的链接，供进一步研究。最后，作者思考了腿部的交汇点以及倒角脚设计背后的潜在工程目的。
一个黑客新闻的讨论围绕着“四足动物”——不是指四肢动物，而是日本流行的、奇特的混凝土海岸防御结构。一个链接（dotat.at）引发了这次讨论，最初让一位用户以为是关于各种生物的绘画*技巧*。
这个话题很快转变为有趣的轶事。一位用户分享了一个关于潜在伴侣的四足动物形状的酒塞，被认为是彼此相容的可爱故事，而另一位用户则链接了制作四足动物毛绒玩具的资源，以重现日本海滩的氛围。一个简洁幽默的回复简单地说：“1. 画四个圆圈。”
该帖子还包含了一个关于YC（Y Combinator）2026冬季批次的申请公告。
## 现代软件臃肿问题
尽管硬件取得了进步——快速的CPU、充足的内存和巨大的存储空间——但软件效率往往被忽视。普遍的观点是，当资源廉价时，优化不再那么重要，重点应该放在开发人员的生产力和可维护性上，这呼应了克努斯关于“过早优化”的警告。
然而，现代软件臃肿并非仅仅由于效率低下。其中很大一部分是*权衡*的结果，为了提高安全性、健壮性、全球化支持以及使用复杂的框架。这些补充解决了过去资源受限的计算中普遍不存在的问题，那时程序通常用低级语言编写以实现最大控制。将今天的软件与旧程序进行比较——Windows 11计算器与Windows 95，或者现代图像的大小超过超级马里奥兄弟——突出了这种差异。
虽然有些臃肿是合理的，但无能和过度工程也贡献了很大一部分。不必要的依赖、为简单应用程序使用微服务以及过度的容器化都会增加开销。重要的是，优化在性能关键领域（如编解码器、归档器和虚拟机）*仍然很重要*。关键在于平衡：避免过早优化，同时认识到完全推迟优化也会产生不利影响。
## OCaml 反思与求职 - 2026 届毕业生
我正在寻找2026年开始的新毕业生机会，重点是 Rust、TypeScript 或 React ([email protected])。目前正在用 OCaml 为大学课程构建一个编译器，从中获得了宝贵的见解和挫败感。
虽然 OCaml 提供了一种强大的函数式方法并避免了手动内存管理，但我发现它的语法笨拙，并且由于过于聪明的类型推断，错误消息常常没有帮助。像 Rust 那样的显式类型注解将显著改善调试。其他痛点包括类型提升的限制、枚举类型的范围以及繁琐的打印系统。
OCaml 生态系统虽然随着 Dune 等工具的改进，但仍然感觉支离破碎，并且依赖于 Jane Street 的 Core 库。词法/解析工具 (ocamllex/Menhir) 也带来了调试挑战，因为它们具有不透明的 DSL 和模糊的错误消息。最终，OCaml 优先考虑优雅，而 Rust 强调健壮性——两者都很重要，但适用于不同的需求。尽管存在这些挑战，我仍然会考虑再次使用 OCaml 来编写编译器的第一个草稿，并可能探索 ReasonML 以获得更现代的语法。
## Agentic AI：避免“Clippy 2.0”情景 最近关于Agentic AI（旨在自主完成任务的AI）的讨论，受到过去失败案例，如微软的Clippy，的担忧。对欧洲Agentic AI初创公司和企业实践者的调查显示，成功部署的关键不在于*技术*障碍，而在于**工作流程集成、员工抵触和数据安全。** 采用的关键？“从小做起”的方法：从低风险、易于验证且能带来明确投资回报的任务开始，理想情况下是自动化不受欢迎的工作，并将AI定位为*辅助驾驶员*，增强人类工作。 大多数初创公司都在内部构建基础设施，优先考虑70%以上的准确性，并且越来越多地利用核心业务预算，这表明已经超越了实验阶段。 定价仍然不稳定，混合模式和按任务定价目前占主导地位，而基于结果的定价在归因和衡量方面面临挑战。 成功的部署强调全面的教育、引人入胜的界面和现实的期望管理。 最终，Agentic AI的未来取决于通过可靠的性能建立信任，并展示切实的价值，从而超越被动系统，走向能够执行复杂、现实世界任务的积极主动、适应性强的智能体。 目前的重点是改进智能体记忆、可靠行动执行和强大的安全性的技术。
## Hacker News 讨论摘要：AI 代理程序生产部署
最近 Hacker News 的讨论，源于 mmc.vc 基于对 AI 初创公司创始人及企业实践者访谈的报告，强调了在实际场景中部署 AI 代理程序的挑战。主要结论是，**技术障碍小于人们认为的关于工作流程集成、员工信任和数据隐私的问题。**
成功的部署专注于**狭窄、可验证的使用案例，并具有明确的投资回报率**，逐步建立信任，而不是尝试大规模、复杂的实施。企业采用目前不均衡，大多数公司在强有力的人工监督下使用代理程序。
多位评论员强调了**可审计性和确定性**的重要性，尤其是在金融等敏感领域，而另一些人则指出了 AI 在实现一致准确性方面的当前局限性。一个反复出现的主题是需要**人工参与的系统**来验证 AI 输出并防止错误累积。
最终，讨论表明，虽然 AI 代理程序的潜力巨大，但实际实施需要一种务实的方法，专注于解决具体问题，并通过可证明的结果建立信心，而不是依赖炒作或完全自主的系统。
## Tenacity：一款免费且开源的音频编辑器
Tenacity是一款跨平台、多轨音频编辑器和录音工具，适用于Windows、Linux和其他操作系统。它由志愿者社区开发，为音频编辑需求提供了一种用户友好的替代方案。
主要功能包括从各种音频设备录音、支持广泛的音频格式（可通过FFmpeg扩展）、高达32位浮点的高质量音频处理，以及与VST、LV2和AU插件的兼容性。用户还可以利用Nyquist和Python等脚本语言进行高级编辑。
Tenacity优先考虑可访问性，提供键盘导航和屏幕阅读器支持。提供预打包的构建版本，或用户可以从源代码构建。社区支持在Matrix、Mastodon和Lemmy上活跃，开发托管在Codeberg上。它建立在其他Audacity分叉的遗产之上，提供了一种协作且不断发展的音频编辑解决方案。