Imp 是 DSPy 到 Elixir/BEAM 生态系统的完整移植，为构建大模型驱动的应用程序提供了一个声明式、类型安全的框架。你无需手动进行提示词工程，只需定义“签名”（signatures），并利用内置的优化器（如 GEPA 或 MIPROv2）根据标注示例和自定义指标来提升性能。
主要特性包括：
* **可靠性与并发性：** 与 OTP 集成，允许代理作为受监督的进程运行，并支持状态管理、超时控制以及对工具执行过程的精细化控制。
* **工具集成：** 可轻松将 Elixir 函数转换为大模型工具，并支持模型上下文协议 (MCP) 和代理通信协议 (ACP)。
* **优化：** 自动调优指令和少样本示例，生成的程序具备可读性且支持版本控制，而非难以理解的晦涩提示词。
* **灵活性：** 支持复杂的工作流，包括思维链、自主代理和 RLM（基于检索的语言模型）。
Imp 专为生产环境设计，让你能够像编写标准 Elixir 代码一样，以严谨的方式构建、测试和评分 AI 组件。作为实验性版本 (v0.5)，它利用 `ReqLLM` 来实现对主流模型提供商的广泛支持，并提供 Livebook 教程供用户快速上手。
每日HackerNews RSS
本摘要概述了 Rust 中 SIMD（单指令多数据流）的现状，涵盖了其发展演变、工具链及硬件挑战。 **什么是 SIMD？** SIMD 通过使用专门的 CPU 指令同时处理批量数据来提升性能。虽然效率高，但其架构复杂，因为不同处理器对指令的支持各异，通常需要“函数多版本化”（编译多个版本的代码并在运行时选择最优版本），以确保在不同 CPU 上的兼容性。 **工具与方法：** * **自动向量化：** 最简单的方法，由编译器尝试优化标准代码。它虽然方便，但对于复杂的逻辑不可靠。 * **可移植 SIMD 抽象：** `std::simd`、`fearless_simd`、`wide` 和 `pulp` 等库提供了编写 SIMD 代码的结构化方式。其中 `fearless_simd` 因其稳健且一体化的多版本化方案而受到关注。 * **内联函数（Intrinsics）：** 为了实现特定的硬件级控制，开发者会使用平台专有的内联函数。虽然功能强大，但通常难以优化，且容易产生“黑盒”开销。 **硬件现实：** * **x86：** 旧指令集（SSE2/AVX2/AVX-512）碎片化严重，导致显著的维护成本。 * **ARM：** 提供了更一致的“NEON”标准，具备更好的开发体验。 * **结论：** Rust 的 SIMD 生态系统已显著成熟，足以满足高性能需求，尽管浮点三角函数和编译器级内联优化等方面仍存在挑战。
KICKI 是一台双机 PDP-10（型号 KI10，序列号 522 和 606），目前正在进行全面修复工作。经前 DEC 工程师 Gary Solomon 确认，该系统拥有完整的模块组件，项目旨在使其恢复完全运行。
自 2025 年以来，项目进展显著。修复团队已将原本低效的线性电源替换为现代高效的替代品，在保持修改可逆的前提下，大幅降低了功耗。截至 2026 年 6 月，团队成功启动了完整的 KI10 CPU，克服了复位电路和布线方面的初期挑战。
在主内存方面，团队正在修复曾经供 MIT-MC 使用的标志性 MH10 机柜，这与系统的历史背景非常契合。2026 年 8 月，项目取得了进一步的技术突破，包括成功访问快速存储器（Fast Memory）并实现了控制台电传打字机输出。
随着项目的持续推进，团队欢迎各界捐赠以支持这一复杂的保护工作。相关进展更新和视频可在 ICM 博物馆的 YouTube 频道查看。
抱歉。
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 工作原理 测试新功能 © 2026 Google LLC
**Lofi Cities** (loficities.com) 是一个免费的网页端体验项目，展示了东京、纽约和巴黎等世界各地城市的像素风动画景观。它通过 Web Audio API 实时生成无尽的 Lofi 音乐，并允许用户自定义音乐流派、氛围和乐器。 该网站专为学习、工作或放松而设计，内置了番茄钟、睡眠定时器和画中画迷你播放器等实用工具。用户可以通过切换天气效果、开启自动城市漫游，或匿名发送漂浮灯笼等“心情”讯息，与环境进行互动。 该网站无需下载、注册账号或使用 Cookie 即可完全访问。初次加载后支持离线使用，并可作为渐进式 Web 应用（PWA）安装。对于直播主，它提供了兼容 OBS 的模式；企业甚至可以在城市中的像素广告牌上投放广告。Lofi Cities 由 Safa Elmali 创建，旨在提供一个宁静、无广告的背景环境，在保护用户隐私的同时，带来高质量、持续变化的视听循环。
作者描述了一个利用 JavaScript 标签模板字面量（tagged template literals）创造的巧妙技术“双关语”。在语言学中，双关语是指一段文本可以通过两种不同的方式进行解读。作者通过编写一个 `prompt` 标签函数，使得开发者能够使用 `${{ variable }}` 这种语法来编写代码。 对于人类读者而言，`${{ url }}` 看起来就像许多模板语言中常见的标准占位符。然而，对于 JavaScript 引擎来说，这根本不是什么模板标签，而是一个包含对象字面量简写属性的模板字面量：`${ { url } }`。由于 JavaScript 会在将内容传递给标签函数之前先对其进行求值，因此该函数既能接收到为可观测性工具（如 Helicone）标注字符串所需的数据，又能让开发者享受到简洁且熟悉的语法。通过利用 JavaScript 对象简写与模板字面量语法的交集，作者创造出的代码既能作为一方的功能性工具，又能作为另一方熟悉的视觉模式——这在编程领域确实称得上是一种“双关”。
1
“Earn an Honest Dollar” 是一个基于智能体（Agent）服务的交易市场，通过“孪生页面”测试来评估性能。该基准测试旨在衡量 AI 模型和爬虫工具在所需数据缺失时，能否正确返回 `null` 值，还是会通过“幻觉”捏造信息。 该研究测试了 16 种模型及多种付费 API。结果表明，明确的指令（例如“不要猜测；若数值缺失请使用 null”）能显著降低幻觉比例（从 70.7% 降至 20.2%）。在参评对象中，Gemini 3.8 Flash、GLM 5.3 和 Hy3 表现出了最高的准确度。 研究的关键发现是，买家可以通过“低成本校验器”有效降低风险。通过使用辅助性的低成本模型（如 GPT-6 Luna）对返回结果进行验证，买家可以以极低的成本捕捉绝大多数伪造数据。尽管该基准测试仅限于网页提取和合成页面，但它为买家在购买服务前评估智能体可靠性提供了一个透明的框架。平台上线期间，欢迎用户免费挂载自己的智能体服务。
2023年初的 Windows 更新引入了一个严重漏洞，导致用户在使用 Windows 资源管理器从视频光盘（VCD）复制文件时，系统会出现不稳定。一旦开始复制，进程往往会卡死，导致系统处于损坏状态，表现为用户界面故障、文件资源管理器无法刷新，且电脑无法执行软重启，必须手动断电强制关机。 此问题源于 Windows 处理 VCD 的方式。与标准数据光盘不同，VCD 文件是模拟原始轨道数据的“ISO 网关”。Windows 资源管理器在尝试复制这些非标准文件时会触发系统级崩溃。虽然该漏洞是间歇性的，且目前受影响的用户较少，但微软至今尚未发布补丁修复。 为避免此问题，用户应避免使用 Windows 资源管理器复制 VCD 内容。建议改用 VCDGear 等专用软件提取多媒体流，或创建磁盘映像（BIN/CUE）以确保数据完整性并维持系统稳定性。绕过 Windows 标准方法的第三方复制工具或许可行，但仍推荐使用专门的提取软件。
Hayder Tirmazi 通过优化 n-gram 缓存的处理方式，显著提升了 `llama.cpp` 中提示词查找解码（prompt lookup decoding）的性能。原有的实现依赖于缓慢的嵌套 `std::unordered_map` 结构，导致了高内存开销和低效的缓存使用。
优化过程包括几个关键步骤：
1. **重构映射访问**：消除了内部映射不必要的复制，直接带来了速度提升。
2. **替换哈希映射**：用分段式高性能哈希映射（`ankerl::unordered_dense`）替代了外部的 `unordered_map`，改善了加载时间和内存效率。
3. **向量优化**：用排序后的 `std::vector` 结构替代了低效的内部哈希映射（并实现了无分支二分查找），大幅降低了内存占用和延迟。
4. **静态缓存优化**：集成了 Daniel Lemire 的 `constmap`，使静态缓存能够以内存映射结构加载，从而大幅缩短了加载时间并减小了内存占用。
5. **阈值剪枝**：通过 Lemire 的最终优化，引擎能够在 n-gram 阈值无法满足时提前跳过分数计算。
这些改进综合起来，使提示词查找草稿生成速度提升了最高 **140 倍**，并显著降低了内存消耗，从而使标记（token）生成变得更快、更高效。