## Haskell 在生产环境中的应用：来自 Mercury 的经验 Mercury 的 Ian Duncan 详细介绍了他们在一家快速发展的金融科技公司中运行 200 万行 Haskell 代码库的经验，该公司每年处理 2480 亿美元的交易。 尽管传统观念认为这样的设置会适得其反，但事实证明它出奇地稳定。 关键不仅仅在于 Haskell 的纯粹性，还在于它*控制* 杂质的能力，并将机构知识编码到类型系统中——确保关键的操作规则在团队变更中得以保留。 Mercury 优先考虑“适应能力”——构建能够优雅地处理变化并保持可理解性的系统，而不是仅仅防止故障。 他们强调通过诸如函数记录之类的技术来设计便于内省，从而实现轻松的工具化并避免供应商锁定。 虽然承认 Haskell 的学习曲线和生态系统差距，但他们认为长期的好处——更快的重构、更轻松的入职以及降低关键错误的风险——超过了初始成本。 最终，Duncan 认为 Haskell 的价值在于它能够保存运营智慧，强制执行边界，并使安全实践成为最简单的实践，这对于在公司规模扩大时维护可靠的系统至关重要。 这不是关于消除妥协，而是关于约束它。
每日HackerNews RSS
启用 JavaScript 和 Cookie 以继续。
对不起。
一名来自桑尼维尔的男子狄金，在首次乘坐Waymo自动驾驶汽车时遭遇了令人沮丧的经历：车辆从圣何塞机场出发时，他的行李仍在车内。尽管他尝试通过按钮和应用程序打开后备箱，但后备箱一直处于锁定状态。Waymo拒绝返回取车，表示车辆已经前往旧金山站点。 该公司向狄金提供了两种选择：支付行李运费，或自行前往站点搭乘两次免费车程——往返四小时。狄金拒绝了，认为问题不在于他。这起事件与去年旧金山发生的一起丢失网球装备的类似案例相呼应。 Waymo的网站显示，后备箱在乘客下车时应自动打开，但显然在狄金的案例中出现了故障。该公司坚持认为它不负责丢失的物品，导致狄金在前往圣地亚哥的旅途中缺少必需品。
## 构建实时语音AI代理：学习路径
本指南概述了开发者构建和部署语音AI代理的流程，从初始设置到生产规模化。该领域发展迅速，正趋向于一种核心模式：实时传输（WebRTC/电话）馈送语音转文本（STT）→大型语言模型（LLM）→文本转语音（TTS）的流式管道，由轮流模型管理。
**推荐学习顺序：**
1. **基础：** 理解管道、延迟考虑因素和核心概念。
2. **框架：** 选择像LiveKit Agents或Pipecat这样的平台进行快速原型设计。
3. **组件：** 深入研究STT、TTS、LLM、语音活动检测（VAD）和轮流检测——试验不同的提供商。
4. **传输和电话：** 使用SIP干线连接到真实的电话号码。
5. **生产和伦理：** 实施评估、监控，并解决安全/监管问题。
**关键资源：** 探索像Whisper用于STT、Coqui TTS用于TTS、Groq用于LLM推理的选项。优先考虑低延迟（低于200毫秒）的流式解决方案。
**保持更新：** 关注博客（LiveKit, Deepgram）、新闻通讯（Latent Space, Voice AI Newsletter）和社区，以跟上这个快速发展的领域。
**此精选列表优先考虑免费、官方文档和供应商中立的指南，并明确标注商业利益。资源按难度标记：🟢 初级，🟡 中级，🔴 高级。**
对不起。
人机验证 为了继续，您需要通过解决验证码来证明您不是机器人。验证码需要JavaScript支持。请启用JavaScript并重新加载页面。
## 特斯拉未兑现的承诺与一位车主的胜利
十多年来，特斯拉一直宣传“完全自动驾驶”（FSD）能力，甚至声称所有车辆都具备必要硬件。然而，真正的自动驾驶仍然难以实现，一些车主正在寻求退款。本·加维瑟最近在小额索赔法庭上胜诉，获得了对特斯拉10,600美元的判决。他在2021年以10,000美元的价格购买了FSD软件，但该软件从未兑现其承诺的5级自主性。
尽管判决已下，特斯拉仍采取拖延战术，要求延期并提供极少的辩护。加维瑟成功辩称他支付了一款从未交付的产品，并得到了首席执行官埃隆·马斯克最近的承认的支持，即较旧的特斯拉硬件（如加维瑟的）在没有昂贵升级的情况下*永远*无法实现完全自动驾驶。
加维瑟的案件，仅以72.88美元的备案费独立提起诉讼，凸显了车主日益增长的不满浪潮。虽然小额索赔裁决不具有法律约束力的先例，但类似的案件和多起集体诉讼正在全球范围内出现——可能导致特斯拉面临数十亿美元的潜在责任——源于对FSD未兑现的承诺。加维瑟现在已提交“执行令”，可能导致查封特斯拉资产以弥补判决。
## 特斯拉FSD诉讼摘要
一位特斯拉车主最近因特斯拉对其“完全自动驾驶”(FSD)功能的误导性宣传而赢得了一场1万美元的诉讼。该车主和其他人经历了危险的软件故障——具体来说，即使在禁用该功能的情况下，车辆也会向障碍物方向偏移——并且在特斯拉解决这些问题方面遇到了困难。
许多评论者分享了与特斯拉和其他欧洲汽车品牌类似的经历，提到了驾驶辅助功能持续存在的软件问题以及令人沮丧的保修体验。加州“柠檬法”在一宗案件中被证明是有效的，最终为多辆车提供了全额退款。
此次讨论凸显了人们对“自动驾驶”营销准确性的担忧，在使用这些功能时车辆操作的责任，以及对那些过度承诺和未能兑现承诺的制造商采取法律行动的可能性。许多人认为特斯拉为了避免进一步的责任而实际上并不真正解决问题。争论的中心在于，鉴于持续需要驾驶员的监督和干预，当前的系统是否构成真正的自动驾驶技术。
启用 JavaScript 和 Cookie 以继续。
对不起。
使用群论探索注意力机制的位置编码空间
Using group theory to explore the space of positional encodings for attention
2 天前
## 语言模型中的位置编码：一个令人惊讶的有限范围 现代语言模型依赖于注意力机制来处理序列数据，但标准注意力缺乏固有的位置感知能力。位置编码对于注入这些信息至关重要，影响模型理解顺序和时间的方式。最近一项研究探讨了*可能*的位置编码的令人惊讶的受限空间。 该研究确定了这些编码中理想的关键属性：线性、平移不变性（仅相对位置重要）和连续性。这些约束极大地缩小了范围，揭示了大多数有意义的、已使用的编码都属于少数几个家族。这些包括RoPE（旋转位置嵌入），因其效率而被广泛使用，以及涉及指数衰减的变体。 有趣的是，分析还发现了一类技术上有效但可能不实用的编码，基于“缺陷”矩阵，产生多项式项——这是深度学习中一个未探索的新领域。最终，该研究表明，当前的位置编码方法可能已接近最优，减少了寻找“完美”解决方案的必要性。
对不起。
Clojurists Together – 2026年第二季度开源资金公告
Clojurists Together – Q2 2026 Open Source Funding Announcement
2 天前
## Clojurists Together 2026 年第二季度资助公告 感谢会员贡献，Clojurists Together 将在 2026 年第二季度分发 31,000 美元，用于资助五项项目。Metabase 是新的支持者，特别支持 **Malli** 库的工作，该库是一个模式验证工具，被 Metabase 和更广泛的 Clojure 社区广泛使用。 资助的项目包括：**Malli** (Ambrose Bonnaire-Sergeant, 9,000 美元) – 旨在优化递归模式验证的内存使用；**Uncomplicate AI: Clojure LLM** (Dragan Djuric, 9,000 美元) – 开发高性能、用户友好的 Clojure 库，用于运行 Google 的 Gemma 等本地大型语言模型；**SciCloj 文档与绘图** (Cvetomir Dimov, 9,000 美元) – 扩展数据分析库 (Noj)，并改进绘图和交互式仪表板功能；**Gloat** (Ingy döt Net, 2,000 美元) – 改进 Clojure 到 Go 的编译器，以加快构建速度并扩大平台支持；以及 **PluMCP** (Shantanu Kumar, 2,000 美元) – 为 Agentic AI 生态系统中的关键协议实现新功能和文档。 这些项目代表了 Clojure 开发的各个领域，从核心库到尖端 AI 应用，旨在造福个人开发者和更广泛的 Clojure 社区。
对不起。
人工智能辅助编码领域发展迅速。这是为了及时了解最新进展，通过抓取 Hacker News 评论中关于编码模型的流行度和用户情绪来实现。每日更新。我希望能够审计流程和结果，以便调试以及偶尔检查模型输出的合理性。因此，结果被记录到 Google 表格中，你可以看到提及特定模型的评论 ID，以及模型为该评论和模型确定的情绪。你可以通过将评论 ID 附加到 https://news.ycombinator.com/item?id= 来打开评论。下方的图表是从 Google 表格嵌入的。如果无法加载，你应该可以直接打开表格查看相同的图表。
## 黑客新闻编码模型概览 - 摘要
最近在黑客新闻上的一场讨论促成了 [hnup.date](https://hnup.date/hn-sota) 项目的创建，该项目基于黑客新闻评论分析了对编码模型的提及和评价。目标是快速了解流行的模型，并可能扩展到包含工具和自托管设置。
目前，**Claude** 在提及次数上领先，但因定价和可靠性问题收到大量负面反馈。 尽管提及次数第二，**GPT-5.5** 却出人意料地获得了更多积极评价。 **Gemini** 评价两极分化——有些人认为它无法使用，而另一些人则称赞其独特的提示方法和数据处理能力。
**Qwen 和 DeepSeek 等开源模型** 正在获得关注，这源于避免厂商锁定和受益于更低成本的愿望，即使人们对数据来源和潜在审查存在担忧。 用户强调了在个人硬件上本地运行模型的价值。
分析还表明，人们越来越欣赏 **kimi2.6** 等模型，并专注于寻找“更擅长”特定任务的模型，而不是单一的“最佳”模型。 该项目仍在进行中，计划跟踪情感随时间的变化并改进数据分析方法。