This appears to be binary data from a PDF file, not natural language content. It is not translatable into readable Chinese. It consists of code and symbols.
每日HackerNews RSS
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 工作 | 提交 登录
流映射学习通过非梯度向量流 [pdf] (openreview.net)
4 分，E-Reverance 1 小时前 | 隐藏 | 过去的 | 收藏 | 讨论 帮助
考虑申请YC 2026年夏季项目！申请截止至5月4日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
这个演示探索了一种玩具语言，它结合了动态类型和内联值、栈分配、内部指针、单一所有权和有限借用等特性——旨在实现超越简单引用的表达能力，但比 Rust 的借用检查器更简单。核心挑战是在*没有*静态类型的情况下实现内存安全，并高效地实现。
这种方法模仿 Julia 和 Zig 的分层类型：从动态开始，然后添加静态检查以消除可能的开销。该实现允许通过显式注释在动态（解释型）和静态（编译型）代码之间切换。使用了一种新颖的动态借用检查系统，依赖于引用计数（仅限于栈分配以提高性能），并在违反规则时立即在运行时报错。
关键限制确保安全：所有者引用不能指向借用的数据，并且禁止某些借用模式。该系统跟踪引用来源（所有者和借用者），以提供信息丰富的错误消息。虽然有局限性，但它实现了诸如从函数返回引用和遍历链表等功能，而这些功能仅使用二级引用是无法实现的。作者承认该系统比较复杂，并探讨了潜在的改进，例如更隐式的解引用或转向二级引用和协程，灵感来自 Hylo。未来的工作可能包括完全静态类型或改进动态代码的易用性。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
无需类型检查的借用检查 (scattered-thoughts.net)
10 分，由 jamii 1 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助
考虑申请YC 2026年夏季项目！申请截止至5月4日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系方式
搜索：
## Shazam：它是如何工作的？ Shazam在几秒钟内识别歌曲，不是通过识别旋律或歌词，而是通过一种巧妙的“指纹”识别过程。首先，声音被捕获为波形，并使用快速傅里叶变换（FFT）转换为频谱图——一个随时间变化的频率的三维表示。 然而，系统不会存储整个频谱图。相反，它会丢弃大部分数据，只保留最显著的“峰值”——创建一种对噪声具有抵抗力的稀疏“星座图”。然后将这些峰值配对，每对峰值根据其频率和时间生成一个唯一的哈希码。 Shazam利用“倒排索引”——本质上是一个查找表。你手机的片段会生成哈希码，然后这些哈希码被用作地址，以便在庞大的数据库中快速找到匹配的歌曲。哈希码之间的时间一致性确认了匹配结果。 虽然最初的系统依赖于服务器端处理，但较新的版本（如苹果的设备端识别）使用更小、本地化的数据库和机器学习，以实现更快、离线的识别。核心原理仍然是：通过关注关键声学地标并有效地进行比较，Shazam可以以惊人的速度和准确性从数百万歌曲中精确定位一首歌曲。
黑客新闻 新的 | 过去的 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Shazam 是如何运作的？(perthirtysix.com)
17 分，datadrivenangel 发表于 1 小时前 | 隐藏 | 过去的 | 收藏 | 讨论 帮助
考虑申请YC 2026 夏季项目！申请截止至 5 月 4 日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
启用 JavaScript 和 Cookie 以继续。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
OpenAI 对 Axios 开发者工具被入侵事件的回应 (openai.com)
9 分，由 shpat 1 小时前发布 | 隐藏 | 过去 | 收藏 | 讨论 帮助
考虑申请 YC 2026 夏季项目！申请截止至 5 月 4 日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
## Verus：Rust 的静态验证 Verus 是一种工具，旨在*静态*验证 Rust 代码的功能正确性，尤其适用于低级系统编程。与运行时检查不同，Verus 使用计算机辅助定理证明来保证代码在所有可能执行情况下的行为。它借鉴了 Dafny 和 F* 等验证框架的灵感，旨在将纯数学规范语言与 Rust 强大的类型系统相结合。 Verus 利用 Rust 的特性——包括代数数据类型和线性类型——来简化验证，尤其是在内存管理和别名方面。它生成可由 SMT 求解器（如 Z3）求解的验证条件，并通过规范语言与求解器能力之间的紧密对齐来关注效率。 目前，Verus 优先支持高价值的 Rust 特性，并不追求完全的语言覆盖或自验证。用户在 Rust 语法*内部*编写规范和证明，利用扩展（如 `forall` 和新类型，例如 `int`、`nat`）。虽然 Z3 可以自动处理简单的证明，但复杂的验证通常需要程序员协助，可能采用归纳法等技术，并将其表达为递归的 Rust 函数。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Verus 是一个用于验证用 Rust 编写的代码正确性的工具 (verus-lang.github.io)
11 分，由 fanf2 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
isubasinghe 发表于 9 分钟前 [–]
哦，嘿，我参与了这个项目 :) 回复
考虑申请 YC 2026 年夏季项目！申请截止至 5 月 4 日。
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
《风暴对风暴》是对戴夫·瑟勒的经典游戏《风暴》(1981)和杰夫·明特的重新构想《风暴2000》(1994)的代码和设计的详细探索。本书深入研究游戏的内部机制，在汇编代码层面进行分析——《风暴》使用6502，《风暴2000》使用68K摩托罗拉。
本书以简短易懂的章节呈现，旨在以易于理解的方式解释两款游戏的复杂性。本书提供两种版本（9MB和27MB）的免费下载，推荐使用并排代码/注释视图以获得最佳阅读体验。
作者还创建了对其他杰夫·明特游戏的类似深入分析，包括《Iridis Alpha》（“IRIDIS ALPHA THEORY”）和《Psychedelia》（“psychedelia syndrome”），供有兴趣进行进一步技术探索的人参考。关于本书创作的更多信息可在其GitHub仓库中找到。
对不起。
## 威廉·詹姆斯、视觉思维与数据可视化的根源
最近对哈佛大学档案馆的研究揭示了心理学家威廉·詹姆斯一个令人惊讶的侧面：他对视觉艺术一生的热情。尽管他最初渴望成为一名画家，曾师从威廉·莫里斯·亨特，詹姆斯一生都在持续绘画，为他的独特思维过程提供了一个窗口。这种视觉创造力不仅仅是个人的；它与19世纪科学的一个关键转变息息相关。
詹姆斯与弗朗西斯·高尔顿和W.E.B.杜波依斯等人物一起，率先进行早期数据可视化。高尔顿专注于统计平均值（但不幸的是，也涉及优生学），而杜波依斯作为詹姆斯的学生，利用数据可视化有力地描绘了非裔美国人的进步。他们都认为*如何*可视化数据与*进行*思考是密不可分的。
这与当今的自动化设计工具（如Claude Design）形成对比，后者难以复制这些手工可视化作品特有的、以论证为驱动的质量。创造的物理行为——手与心之间的联系——培养了一种独特的深度思考，这种视角常常在数字抽象中丧失。詹姆斯的作品，包括可能的第一张神经网络的可视化表示，应该被视为数据可视化历史的基础要素，提醒我们设计不是苦差事，而是至关重要的思维形式。
Hacker News新帖 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交登录
机器时代数据可视化的手工之美 (resobscura.substack.com)
6点 由 benbreen 1小时前 | 隐藏 | 过去 | 收藏 | 1评论 帮助
melagonster 10分钟前 [–]
欣赏旧时的精美图表真好。回复
考虑申请YC夏季2026批次！申请截止至5月4日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请YC | 联系
搜索：
## Rip：一种现代 JavaScript 语言
Rip 是一种新的、简洁的语言，编译为 ES2022 JavaScript，灵感来自 CoffeeScript。它拥有较小的代码库（约 11,000 行代码），没有依赖项，并且使用 Bun 构建了一个自托管编译器。
主要特性包括一打新的运算符（例如 `!` 用于 `await`，` =~` 用于正则表达式匹配），使用 `:=` 和 `~=` 等运算符进行内置的响应式编程，以及可选的类型注释。Rip 通过 Ruby 风格的构造函数、列表推导式和简化的语法来简化开发——消除了导入、钩子和依赖数组。
除了核心语言之外，Rip 还提供用于服务器端开发、数据库交互（与 DuckDB）、UI 组件等的包。一种独特的“Rip Schema”为数据验证、ORM 和数据库迁移提供了一种统一的方法。
Rip 旨在易于使用，提供基于浏览器的 REPL、VS Code 扩展，并专注于简单性和增量开发。它旨在成为一种强大而易于接近的语言，适用于前端和后端项目。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Rip 语言。编译到 ES2022。内置响应式 (github.com/shreeve)
8 分，perfunctory 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 讨论 帮助
考虑申请 YC 2026 夏季项目！申请截止至 5 月 4 日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系方式
搜索：
本文详细介绍了如何使用Teams TypeScript SDK将使用LangChain、Slack Bolt或Azure AI Foundry等工具构建的现有代理集成到Microsoft Teams中。核心原理是利用HTTP服务器适配器将您的现有服务器连接到Teams的消息端点（`/api/messages`），而无需进行重大代码更改。 该过程包括三个关键步骤：为您的本地服务器获取公共HTTPS URL（使用Dev Tunnels或ngrok等工具），使用Teams SDK CLI注册您的机器人（处理应用程序注册和清单创建），以及将应用程序旁加载到Teams中进行测试。 SDK通过验证传入请求和自动路由消息来简化集成。示例演示了如何将Slack机器人、LangChain链和Azure Foundry代理桥接到Teams，所有这些都共享一致的代码结构。还提供了使用FastAPI的Python等效版本。 最终，SDK充当无缝连接器，允许您以最少的对现有基础设施的破坏，将现有代理的功能扩展到Teams用户。完整文档请参见“Self-Managing Your Server”。
黑客新闻 新 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
将你的代理带到 MS Teams (microsoft.github.io)
8 分，umangsehgal93 发表于 2 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
thegagne 发表于 2 分钟前 [–]
如果它能修复 Teams 中 Mac 屏幕共享的延迟就好了。回复
考虑申请 YC 2026 年夏季项目！申请截止至 5 月 4 日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：
## Effekt 中的效应递归模式：摘要 本文探讨了在 Effekt 语言中实现递归模式——函数式编程（如 Haskell）中常见的折叠/展开模式的强大泛化工具。传统上，这些模式需要无限递归类型，而 Effekt 不支持。相反，作者利用了 Effekt 的效应和处理程序系统。 核心思想是将数据结构*重新函数化*为效应。`Term` 类型（代表 lambda 项）被转换为 `TermF` 接口，其中递归调用变成由上下文处理的效应操作。这使得 `cata`（猫态型——折叠）和 `ana`（鱼态型——展开）等操作可以在没有无限类型的情况下实现。 文章通过示例演示了这一点：美化打印项、计算项大小、查找自由变量和替换变量。然后，它介绍了 `para`（参态型——传递原始数据）和 `hylo`（混合态型——结合折叠和展开），展示了它们的强大功能和效率。`hylo` 中的一个关键优化是通过融合折叠和展开步骤来避免中间项的构造。 最终，文章强调了 Effekt 的效应系统提供了一种灵活且实用的方法来实现递归模式，与传统方法相比提供了一种独特的方法，并鼓励通过交互式游乐场进行实验。
Hacker News 新闻 | 过去 | 评论 | 提问 | 展示 | 招聘 | 提交 登录
Effectful 递归方案 (effekt-lang.org)
6 分，marvinborner 发表于 1 小时前 | 隐藏 | 过去 | 收藏 | 1 条评论 帮助
measurablefunc 11 分钟前 [–]
有趣语法：https://effekt-lang.org/docs/casestudies/ad> do add(do mul(do num(0.5), do exp(do add(do num(1.0), do mul(do num(2.0), x)))), do exp(do mul(x, x))) 回复
考虑申请 YC 2026 夏季班！申请截止至 5 月 4 日
指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系
搜索：